v8.0.0937
bce4f62d · patch 8.0.0937: user highlight groups not adjusted for terminal ·