3468144847
Hopefully this will allow us prevent merging branches that accidentally break GNOME Shell. https://gitlab.gnome.org/GNOME/mutter/merge_requests/548