Skip to content

return non-zero exit code on checker errors#108

Closed
larsk21 wants to merge 1 commit intomainfrom PR_ExitCode

Commits

Commits on Jul 15, 2020