Skip to content

Conversation

@Elchi3
Copy link
Collaborator

@Elchi3 Elchi3 commented Nov 6, 2024

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Nov 6, 2024
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.

Name and description suggestions in line comments. Otherwise, happy to see this one merge.

@ddbeck ddbeck merged commit 2fb4150 into web-platform-dx:main Nov 6, 2024
3 checks passed
@Elchi3 Elchi3 deleted the serial branch November 6, 2024 17:07
@captainbrosset captainbrosset mentioned this pull request Mar 15, 2025
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants