Skip to content

Conversation

@ddbeck
Copy link
Collaborator

@ddbeck ddbeck commented Oct 9, 2024

Following up on #1669

@ddbeck ddbeck requested a review from Elchi3 October 9, 2024 18:45
@ddbeck ddbeck marked this pull request as ready for review October 9, 2024 18:45
@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Oct 9, 2024
@Elchi3 Elchi3 merged commit c732641 into web-platform-dx:main Oct 10, 2024
3 checks passed
@ddbeck ddbeck deleted the symbol-desc branch October 10, 2024 08:41
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