Skip to content

Conversation

@loganaden
Copy link
Contributor

@loganaden loganaden commented Nov 22, 2025

@simoneonofri
Copy link
Contributor

@loganaden, thank you for the PR, it seems there are some conflicts that I also cannot resolve. Would you like to modify the PR so that we can merge?

@verocri verocri merged commit 9b4d101 into w3c:main Dec 11, 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