Skip to content

Conversation

foolip
Copy link
Collaborator

@foolip foolip commented Aug 25, 2025

Spec changes were landed here:
whatwg/dom#1307
whatwg/html#10657

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Aug 25, 2025
Copy link
Collaborator

@ddbeck ddbeck left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving, but if you wouldn't mind making some changes before merging. See comments. Thank you!

@github-actions github-actions bot added the tools and infrastructure Project internal tooling, such as linters, GitHub Actions, or repo settings label Aug 28, 2025
@foolip foolip enabled auto-merge (squash) August 28, 2025 09:01
@foolip foolip merged commit a119388 into web-platform-dx:main Aug 28, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature definition Creating or defining new features or groups of features. tools and infrastructure Project internal tooling, such as linters, GitHub Actions, or repo settings
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants