Merge topic 'sphinx-builder-linux-3.17'

20fbf69f67 gitlab-ci: add linux-3.17 tag to the sphinx build

Acked-by: Kitware Robot <[email protected]>
Merge-request: !4722

.gitlab-ci.yml

@@ -113,6 +113,7 @@ build:fedora31-sphinx:
         - build
         - docker
         - linux
+        - linux-3.17 # Needed to be able to load Fedora's Qt libraries.
 
     script:
         - .gitlab/ci/sccache.sh