Skip to content

Automated Section renumber and grammar extraction - #1753

Merged
BillWagner merged 1 commit into
draft-v12from
draft-v12-renumber-sections-and-grammar
Jul 24, 2026
Merged

Automated Section renumber and grammar extraction#1753
BillWagner merged 1 commit into
draft-v12from
draft-v12-renumber-sections-and-grammar

Commits

Commits on Jul 24, 2026