I did suggest this in a bug report #685225. That concerned gir1.0-mutter-2.31 
package.
Anyway, it seems only gnome-shell depends on gir1.2-mutter-2.91 and gnome-shell 
is dropped for now.
There is no package depending on gir1.2-mutter-2.31, however.
Funny, one can still find the old gnome-shell_2.31.5 in the official repos with 
a bunch of broken dependencies.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/700370

Title:
  Please rename gir1.2-mutter-2.31 to gir1.2-mutter-2.91

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to