v8.0.0923
679653e5 · patch 8.0.0923: crash in GUI when terminal job exits ·