v8.0.0738
e825d8b0 · patch 8.0.0738: cannot use the mouse to resize a terminal window ·