Thanks for providing people with the PPA, Ernst. Only one suggestion is that next time use the version prefix of the old version, not the future version. So then when an official update is available with a higher version number people would get it automatically.
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1897765 Title: gnome-shell crashed with signal 5 in g_log("Error in freeze/thaw accounting") from meta_window_actor_thaw() from WindowManager::_sizeChangedWindow To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/1897765/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs