Comment 2 for bug 1842971

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

BTW, to get the desired patch (both commits):

https://gitlab.gnome.org/GNOME/mutter/merge_requests/776.patch