cli: fixes bug where the wrong exit status is reported#2370
Merged
Henry-E merged 2 commits intocoral-xyz:masterfrom RuvendeGroote:exit-status-bugFeb 6, 2023
+6-1
Commits
Commits on Jan 25, 2023
- committedRuven Salamon
Commits on Feb 6, 2023
- authoredHenry-E