Merge topic 'gnuinstalldirs-opt-double-slash' into release-4.3

0f585d056c GNUInstallDirs: Fix double separator in /opt special-case absolute paths

Acked-by: Kitware Robot <kwrobot@kitware.com>
Merge-request: !12673