Skip to content

Conversation

@tropicadri
Copy link
Contributor

@tropicadri tropicadri commented Jul 16, 2024

No description provided.

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Jul 16, 2024
@foolip foolip merged commit a3f0d4e into web-platform-dx:main Jul 17, 2024
@foolip
Copy link
Collaborator

foolip commented Jul 17, 2024

Thank you @tropicadri!

petele pushed a commit to petele/web-features that referenced this pull request Jul 18, 2024
Co-authored-by: Philip Jägenstedt <philip@foolip.org>
@autonome autonome mentioned this pull request Oct 7, 2024
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