Just FYI, the above patch has been released, so as long as you installed all updates, there's no need to apply it anymore, and any issues that are still there rely on something else (which I'm still trying to figure out...).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/889706 Title: Gnome-shell randomly crashes To manage notifications about this bug go to: https://bugs.launchpad.net/linuxmint/+bug/889706/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
