v8.0.0771
1c84493b · patch 8.0.0771: cursor in terminal window not always updated in GUI ·