Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1894666
  2. Comment #11

Comment 11 for bug 1894666

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Do you mean the 'Ubuntu Dock' extension or some other dock?

Either way, I can't think of any existing bug for this. It wouldn't be bug 1849142.