Commit ee1c8ac6 authored by Mathieu Giraud's avatar Mathieu Giraud

Merge branch 'doc/print-broken-urls' into 'dev'

tools/validate-links.py: display again failed url after the summary

See merge request !573
parents 523ee85f 3dab842c
Pipeline #113257 failed with stages
in 13 minutes and 6 seconds