Skip to content

Exit with a more severe error code if the program traps.#1274

Merged
sunfishcode merged 8 commits into
masterfrom
trap-exit
Mar 11, 2020
Merged

Exit with a more severe error code if the program traps.#1274
sunfishcode merged 8 commits into
masterfrom
trap-exit

Commits

Commits on Mar 11, 2020