A new gnome-shell has been released, version 2.31.5-2ubuntu1.
That one has new issues, but it does start and works anyway.
So this bug has been fixed.
Also a bug report has been made of the issues in 2.31.5-2ubuntu1 version:
bug #618907
** Changed in: gnome-shell (Ubuntu)
Status: New => Fix Released
--
undefined symbol: mutter_plugin_effect_completed
https://bugs.launchpad.net/bugs/614359
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
