Hi, Thank you, I was wondering about a change in gnome. Thanks for the explaination.
This is my first time submitting a bug, was awefully confused as to how you know its for 19.04 so I just added it to the title. Just was wondering if that ext would even work. Its quite popular. I have 19.04 development version on both a laptop and a tower pc. -Steve On 2019-03-08 3:36 a.m., Daniel van Vugt wrote: > I'm guessing this is the result of gnome-shell 3.31 landing in 19.04 > updates today. > -- 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: Dash-to Dock extension no longer working 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
