v8.0.1376
23c1b2b0 · patch 8.0.1376: cursor in terminal not always updated ·