BTW, to get the desired patch (both commits):
https://gitlab.gnome.org/GNOME/mutter/merge_requests/776.patch
BTW, to get the desired patch (both commits):
https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 776.patch