mirror of
https://github.com/brl/mutter.git
synced 2025-05-08 16:14:55 +00:00

Better names can be used once we make more use of them. https://bugzilla.gnome.org/show_bug.cgi?id=727979
Better names can be used once we make more use of them. https://bugzilla.gnome.org/show_bug.cgi?id=727979