Skip to content

Conversation

@perey
Copy link
Contributor

@perey perey commented Oct 11, 2025

This is just a simple fix of a typographical error. Per the Contributor Guidelines (“Non-substantive contributions”), I’m submitting this as a pull request.

@w3cbot
Copy link

w3cbot commented Oct 11, 2025

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

@astearns astearns merged commit d17df3a into w3c:main Oct 11, 2025
1 check passed
@astearns
Copy link
Member

Thanks!

@perey perey deleted the patch-1 branch October 12, 2025 09:07
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