Skip to content

Conversation

@youennf
Copy link
Contributor

@youennf youennf commented Jan 21, 2025

@youennf youennf marked this pull request as draft January 21, 2025 08:35
@youennf
Copy link
Contributor Author

youennf commented Jan 21, 2025

Last remaining warning is covered by #342

@youennf youennf marked this pull request as ready for review January 21, 2025 08:52
@youennf
Copy link
Contributor Author

youennf commented Jan 21, 2025

@steimelchrome, @marcoscaceres, this PR should be editorial, though it removes one definition that is not used AFAIK.
PTAL.

@youennf youennf merged commit 9e97363 into w3c:main Jan 23, 2025
2 checks passed
github-actions bot added a commit that referenced this pull request Jan 23, 2025
SHA: 9e97363
Reason: push, by youennf

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants