Skip to content

Conversation

@annevk
Copy link
Member

@annevk annevk commented Aug 25, 2023

No description provided.

@annevk annevk requested a review from domenic August 25, 2023 10:53
annevk added a commit to whatwg/html that referenced this pull request Aug 25, 2023
@annevk annevk merged commit 94369f5 into master Aug 25, 2023
@annevk annevk deleted the annevk/optgroup branch August 25, 2023 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants