Skip to content

Conversation

frivoal
Copy link
Collaborator

@frivoal frivoal commented Dec 6, 2024

See #935


Preview | Diff

@frivoal frivoal added the Agenda+ Marks issues or pull requests that are ready for discussion or consideration at the next meeting label Dec 6, 2024
@frivoal frivoal added this to the Process 2024/2025 milestone Dec 6, 2024
@plehegar
Copy link
Member

Unless there is new information by December 20, this pull request will get merged.

@frivoal frivoal added Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion and removed Agenda+ Marks issues or pull requests that are ready for discussion or consideration at the next meeting labels Dec 23, 2024
@frivoal frivoal merged commit e04b05a into w3c:main Dec 23, 2024
2 checks passed
@frivoal frivoal deleted the good-standing branch December 23, 2024 02:10
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.

3 participants