Skip to content

Remove unnecessary Output.flushs before Global.exit and Global.crash - #535

Merged
Jarred-Sumner merged 4 commits into
mainfrom
unknown repository
Jul 10, 2022
Merged

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

cleanup: remove unnecessary `Output.flush`s

e688418
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs