v8.2.3760
48873aeb · patch 8.2.3760: not automatically handling gnome terminal mouse like xterm ·