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