v8.1.2171
a1cb1d1d · patch 8.1.2171: mouse support not always available ·