[Bug 1819086] Re: Ubuntu 19.04: Dash-to Dock extension no longer working
** Information type changed from Private Security to Public Security ** Package changed: ubuntu => gnome-shell (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1819086] Re: Ubuntu 19.04: Dash-to Dock extension no longer working
Did you install the Ubuntu package 'gnome-shell-extension-dashtodock' or did you get it from https://extensions.gnome.org/extension/307/dash-to- dock/ (or github)? If the latter then this bug should only be reported upstream at: https://github.com/micheleg/dash-to-dock/issues ** Package changed: gnome-shell (Ubuntu) => gnome-shell-extension- dashtodock (Ubuntu) ** Changed in: gnome-shell-extension-dashtodock (Ubuntu) Status: New => Incomplete ** Tags added: disco -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
