
Not used yet, just done separately to decrease future diffs. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1488>
Not used yet, just done separately to decrease future diffs. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1488>