v8.1.0974
882d02ee · patch 8.1.0974: cannot switch from terminal window to previous tabpage ·