Skip to content

Conversation

@lilles
Copy link
Member

@lilles lilles commented Sep 26, 2025

Per resolution:

#12610 (comment)

@tabatkins tabatkins merged commit 8ca3cdb into w3c:main Sep 26, 2025
1 check 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.

2 participants