Skip to content

Conversation

@tidoust
Copy link
Collaborator

@tidoust tidoust commented Oct 18, 2024

I'm working with @deniak on improving the data in the W3C API so that Specref may more easily switch to the W3C API. One rippling effect is that this means that some of the hacks done to get the right entries are no longer needed (and now create duplicates, which blocks automatic updates). Adjusting the rules accordingly.

I'm working with @deniak on improving the data in the W3C API so that Specref
may more easily switch to the W3C API. One rippling effect is that this means
that some of the hacks done to get the right entries are no longer needed (and
now create duplicates). Adjusting the rules accordingly.
(That's the result of running the W3C script. Needed for tests to pass)
@tidoust tidoust requested a review from dontcallmedom October 18, 2024 16:31
@tidoust tidoust merged commit 408d874 into tobie:main Oct 18, 2024
1 check passed
@tidoust tidoust deleted the fix-w3c branch October 18, 2024 16:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants