Skip to content

[exec.snd] Harmonize subclause titles#8286

Merged
tkoeppe merged 1 commit intomainfrom
cd26-335
Oct 5, 2025
Merged

[exec.snd] Harmonize subclause titles#8286
tkoeppe merged 1 commit intomainfrom
cd26-335

Commits

Commits on Oct 4, 2025