I suppose fix would be released soon in updates. Guys only reported that it's implemented and commited to trunk. This is not patch, so we need to wait updates in distro. However, some detailed comments from the developers will not be superfluous.
-- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
