v8.0.0739
58556cd0 · patch 8.0.0739: terminal resizing doesn't work well. ·