v8.1.2277
b73e4396 · patch 8.1.2277: terminal window is not updated when info popup changes ·