Skip to content

make bootstrap posix compliant and remove 401 and 402 version#188

Open
stopusingghpls wants to merge 1 commit intoocaml-obuild:masterfrom
stopusingghpls:master
Open

make bootstrap posix compliant and remove 401 and 402 version#188
stopusingghpls wants to merge 1 commit intoocaml-obuild:masterfrom
stopusingghpls:master

Commits

Commits on Jan 6, 2026