
Introduced by dad9f64b5fdb79d0, but wasn't caught on review. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3782>
Introduced by dad9f64b5fdb79d0, but wasn't caught on review. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3782>