Dash to Dock - GNOME Shell Extensions

Dash To Dock should realy be by default on #Debian #Gnome distro.

Thank you michele_g

#GnomeShellExtensions
#GnomeShell
extensions.gnome.org/extension/30...