Stephen, Please open a new bug for that problem. But first you would need to identify which Ubuntu package the bug is in...
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to the bug report. https://bugs.launchpad.net/bugs/1819086 Title: Ubuntu 19.04: Some gnome-shell extensions no longer work since updating to gnome-shell 3.31/3.32 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-dashtodock/+bug/1819086/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs