Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1947445
  2. Comment #7

Comment 7 for bug 1947445

Revision history for this message
Marco Trevisan (Treviño) (3v1n0) wrote :

Sorry Pepijn, the code of the dock is managed via github at https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock

Should do a PR there, but I will handle it in next upload.

Thanks!