Skip to content

Conversation

@frivoal
Copy link
Collaborator

@frivoal frivoal commented May 13, 2025

Closes #1013


Preview | Diff

@frivoal frivoal added the Agenda+ Recommends to the Chairs that this issue or pull request be discussed at the next meeting label May 13, 2025
@frivoal frivoal added Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion and removed Agenda+ Recommends to the Chairs that this issue or pull request be discussed at the next meeting labels May 14, 2025
@frivoal frivoal added this to the Process 2024/2025 milestone May 14, 2025
@frivoal frivoal merged commit 850ba37 into w3c:main May 14, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Do we need a no-change publication?

3 participants