Gunnar, Was Ubuntu affected by https://gitlab.gnome.org/GNOME/gnome-shell/issues/537 ?
It looks like the commits to fix that issue were after 3.30.0 and there still hasn't been a gnome-shell 3.30.1 release. Thanks, Jeremy Bicha -- ubuntu-translators mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-translators
