mirror of
https://github.com/brl/mutter.git
synced 2025-03-21 10:43:53 +00:00

For some reason Gitlab pushed the wrong commits when merging https://gitlab.gnome.org/GNOME/mutter/merge_requests/227. Correct that. This reverts commit d387aa428a18393938c6d6f7baef2c1dd726436e.