Skip to content

Conversation

@marijnh
Copy link
Contributor

@marijnh marijnh commented Jul 16, 2025

See #122, which removes this type.


Preview | Diff

@w3cbot
Copy link

w3cbot commented Jul 16, 2025

johanneswilm marked as non substantive for IPR from ash-nazg.

@johanneswilm johanneswilm merged commit c533952 into w3c:gh-pages Jul 16, 2025
2 checks passed
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.

3 participants