Skip to content

Conversation

@Elchi3
Copy link
Collaborator

@Elchi3 Elchi3 commented Oct 17, 2024

Spotted in the burndown sheet of unmapped, non-deprecated, and standardized BCD keys.

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Oct 17, 2024
@jamesnw jamesnw enabled auto-merge (squash) October 17, 2024 16:14
@jamesnw jamesnw merged commit f84330a into web-platform-dx:main Oct 17, 2024
3 checks passed
@Elchi3 Elchi3 deleted the correct-float16 branch October 17, 2024 16:42
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