
These were added as part of commit d4ff5e2d
but they're not needed.
https://gitlab.gnome.org/GNOME/mutter/merge_requests/857
These were added as part of commit d4ff5e2d
but they're not needed.
https://gitlab.gnome.org/GNOME/mutter/merge_requests/857