Repository navigation

Remove unnecessary `Output.flush`s before `Global.exit` and `Global.crash` - #535

Merged

Jarred-Sumner merged 4 commits into

mainfrom

unknown repository

Jul 10, 2022

Merged

Remove unnecessary `Output.flush`s before `Global.exit` and `Global.crash`#535
Jarred-Sumner merged 4 commits into
mainfrom
unknown repository

Commits on Jul 10, 2022
- fix: add missing newline
  r00ster91
  committed
  dd274f4
- refactor: std.process.exit -> Global.exit
  r00ster91
  committed
  521d74c
- fix: std.os.abort -> Global.exit
  r00ster91
  committed
  6ab4a63
- cleanup: remove unnecessary `Output.flush`s
  r00ster91
  committed
  e688418