v8.0.1720
802bfb14 · patch 8.0.1720: when a timer is running a terminal window may not close ·