Skip to content

Conversation

@bernhold
Copy link
Contributor

No description provided.

@bernhold bernhold self-assigned this Oct 16, 2025
@bernhold bernhold added Section: working groups Issues related to the working group collection -- content or presentation content update labels Oct 16, 2025
@bernhold bernhold merged commit ea8b256 into main Oct 16, 2025
0 of 2 checks passed
@bernhold bernhold deleted the bernhold-metrics-wg branch October 16, 2025 23:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

content update Section: working groups Issues related to the working group collection -- content or presentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants