Fix released in 20.04: mutter (3.34.1+git20191022-2ubuntu1) focal; urgency=medium
** Tags added: rls-ee-incoming -- 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/1850535 Title: Ubuntu 19.10 gnome-shell crashes after changing keyboard To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/1850535/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs