Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Change newly-added HTML elements to the html-elements group #1467

Merged
merged 1 commit into from
Jul 19, 2024

Conversation

ddbeck
Copy link
Collaborator

@ddbeck ddbeck commented Jul 19, 2024

I did not touch the drafts, since I thought they were generated (also several will have PRs in progress that I didn't want to conflict with).

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Jul 19, 2024
@ddbeck
Copy link
Collaborator Author

ddbeck commented Jul 19, 2024

Related to #1464

@foolip foolip merged commit 75ec245 into web-platform-dx:main Jul 19, 2024
3 checks passed
@ddbeck ddbeck deleted the regroup-elements branch July 24, 2024 14:14
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
feature definition Creating or defining new features or groups of features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants