Closed marcoscaceres closed 3 years ago
I'm going ahead and merging this, as the linking errors are independent of this PR.
Hmm. There were 3 broken xref links yesterday to html elements and an attribute. Now there are a bunch of broken references.
The W3C is moving off Travis and instead relying on Github actions/workflows.