Issue #3462868: Replacing more "http://www.w3.org" in more files
Related merge request !8924 to merge 3462868-replace-url-usage
merge request
14 jobs
4 minutes 44 seconds, queued for 1 seconds