Skip to content

Restore --strict operation#28740

Merged
mseri merged 1 commit intoocaml:masterfrom
dra27:fix-strict
Oct 21, 2025
Merged

Restore `--strict` operation#28740
mseri merged 1 commit intoocaml:masterfrom
dra27:fix-strict

Commits

Commits on Oct 20, 2025