Comment 14 for bug 1825625

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Despite what I said in comment #7 I also now have a partial fix proposed:
https://gitlab.gnome.org/GNOME/mutter/merge_requests/845