mirror of
https://github.com/brl/mutter.git
synced 2025-03-16 00:05:08 +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