Skip to content

Conversation

@github-actions
Copy link
Contributor

renumber sections. Add grammar

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 56d24f7 to 37782ad Compare November 3, 2025 14:42
@BillWagner BillWagner closed this Nov 5, 2025
@BillWagner BillWagner reopened this Nov 5, 2025
@BillWagner BillWagner merged commit 2097e9e into draft-v8 Nov 5, 2025
9 checks passed
@BillWagner BillWagner deleted the create-pull-request/patch branch November 5, 2025 16:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants