Skip to content

Conversation

@JinDX
Copy link
Member

@JinDX JinDX commented Jul 18, 2025

@annevk
Copy link
Member

annevk commented Jul 18, 2025

Thanks! I need to figure out what the fix is for the final CI error so this might have to wait a bit with landing.

@annevk annevk merged commit 521d522 into whatwg:main Jul 19, 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

Development

Successfully merging this pull request may close these issues.

2 participants