Seems to be fixed after the last update: dpkg -l http://paste.ubuntu.com/25741586/
Thanks a lot! -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to mutter in Ubuntu. https://bugs.launchpad.net/bugs/1723048 Title: gnome-shell crashed with signal 5 in x_io_error from _XIOError from _XReadEvents from XIfEvent from meta_display_get_current_time_roundtrip To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/1723048/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
