mirror of
https://github.com/brl/mutter.git
synced 2025-03-24 12:13:52 +00:00

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>