v8.2.3727
c14b57c0 · patch 8.2.3727: in a gnome terminal keys are recognized as mouse events ·