Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1917939
  2. Comment #7

Comment 7 for bug 1917939

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

Oh. There's also a gnome-shell fix coming in https://launchpad.net/ubuntu/+source/gnome-shell/3.38.4-1ubuntu1