Skip to content

Stanza simplifications#12595

Merged
rgrinberg merged 3 commits intoocaml:mainfrom
rgrinberg:stanza-simplifications
Oct 19, 2025
Merged

Stanza simplifications#12595
rgrinberg merged 3 commits intoocaml:mainfrom
rgrinberg:stanza-simplifications

Commits

Commits on Oct 19, 2025