v8.1.2258
dc968e7a · patch 8.1.2258: may get hit-enter prompt after entering a number ·