yep On 2019-06-15 11:07 a.m., Carlos Pita wrote: > This report seems surprising to me, I never had problems using the > ubuntu branch of the extension nor the upstream one in 19.04 (and I'm > using it since the release). A couple of coworkers are using ubuntu > 19.04 with a fully functional dock also. I also have used arch and > fedora with gnome 3.32 and the extension enabled, no problem at all. > Should I assume this has been fixed? >
-- 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
