v9.0.1495
660eb9f9 · patch 9.0.1495: GTK3: hiding the mouse pointer does not work ·