Hi Daniel, thanks for the info
-Have a great day. -Steve On 2019-03-10 10:22 p.m., Daniel van Vugt wrote: > OK, I have generalized this bug to cover any and all extensions (which > exist in the Ubuntu archive) that might have stopped working in gnome- > shell 3.31/3.32. > > ** Changed in: gnome-shell-extension-dashtodock (Ubuntu) > Status: Incomplete => Confirmed > > ** Summary changed: > > - Ubuntu 19.04: Dash-to Dock extension no longer working > + Ubuntu 19.04: Some gnome-shell extensions no longer work since updating to > gnome-shell 3.31/3.32 > -- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
