Skip to content

Conversation

@eemeli
Copy link
Collaborator

@eemeli eemeli commented Feb 18, 2025

PR #1019 was merged without this small correction from #1019 (comment), which should be included.

@eemeli eemeli added fast-track Editorial change permitted to use fast-track merge rules formatting Issue pertains to the formatting section of the spec labels Feb 18, 2025
@aphillips aphillips merged commit 914e0da into main Feb 19, 2025
1 check passed
@aphillips aphillips deleted the set-to-consists branch February 19, 2025 00:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fast-track Editorial change permitted to use fast-track merge rules formatting Issue pertains to the formatting section of the spec

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants