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