Skip to content

fixed url of GitLab pages to new domain

Hannes Fuchs requested to merge fix-gitlab-pages-url into master

The domain of GitLab pages changed on 2020-09-07, which invalids old URLs. This fixes the link to the documentation.

Merge request reports