v8.2.2637
09f8b3a0 · patch 8.2.2637: prop_remove() causes a redraw even when nothing changed ·