v8.0.0820
12d93ee2 · patch 8.0.0820: GUI: cursor in terminal window lags behind ·