The GNOME people have merged a patch for this. When will a new Ubuntu package be released? Do they need to cut a release of Mutter? I'm not clear on the process.
The GNOME people have merged a patch for this. When will a new Ubuntu package be released? Do they need to cut a release of Mutter? I'm not clear on the process.