Skip to content

[task.state] Fix formatting of subclause heading#8299

Merged
tkoeppe merged 1 commit into
mainfrom
cd26-378
Oct 5, 2025
Merged

[task.state] Fix formatting of subclause heading#8299
tkoeppe merged 1 commit into
mainfrom
cd26-378

Commits

Commits on Oct 5, 2025