Skip to content

Conversation

@Elchi3
Copy link
Collaborator

@Elchi3 Elchi3 commented Oct 14, 2024

Looks like oversight to me (see #1839 for the original PR)

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Oct 14, 2024
@Elchi3 Elchi3 merged commit 92b3787 into web-platform-dx:main Oct 17, 2024
3 checks passed
@Elchi3 Elchi3 deleted the more-console branch October 17, 2024 11:22
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