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