Skip to content

Fix macos sandbox script incorrectly assuming that getconf doesn't exist#5780

Merged
dra27 merged 1 commit intoocaml:masterfrom ElectreAAS:sandbox-shellfixJan 22, 2024
+4-3

Commits