v9.0.0710
4282633b · patch 9.0.0710: quitting/unloading/hiding a terminal does not work properly ·