Skip to content

Conversation

@apasel422
Copy link
Collaborator

No description provided.

@apasel422 apasel422 marked this pull request as ready for review August 7, 2025 12:54
@apasel422 apasel422 requested a review from martinthomson August 7, 2025 12:54
@apasel422 apasel422 merged commit 12c9995 into w3c:main Aug 8, 2025
3 checks passed
@apasel422 apasel422 deleted the pub branch August 8, 2025 12:17
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