Skip to content

restrict with-exit-codes to "run", "bash" and "system"#2742

Merged
nojb merged 5 commits intoocaml:masterfrom nojb:run-with-accepted-exit-codesOct 15, 2019
+46-43

Commits

Commits on Oct 14, 2019

Commits on Oct 15, 2019