fix ./tools/check-page-links.py

parent 2f5debf5
Pipeline #151947416 running with stage
in 16 minutes and 32 seconds