Ok, I had already done that and was checking if upgrading to 3.32.2 solved https://gitlab.gnome.org/GNOME/gnome-shell/issues/1325, which it doesn't :(
I don't know why @vladox is assuming it's fixed in 3.32.2, and I'm not sure whether to interpret Florian intervention as confirming that, but if @vladox is right then https://bugs.launchpad.net/ubuntu/+source /gnome-shell/+bug/1831161 should be reopened. Anyway, looking at https://gitlab.gnome.org/GNOME/gnome- shell/commits/3.33.2 I don't think he is right. This one, of course, can be closed. ** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1842776 Title: Mismatch between package version (3.32.2) and packaged version (3.32.1) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1842776/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs