gnome-shell-extension-dash-to-panel release 72-1 for unstable [dgit distro=debian split --quilt=baredebian] [dgit please-upload source=gnome-shell-extension-dash-to-panel version=72-1 upstream-tag=upstream/72 upstream=2e4518a8ec22bdeb71accee152c1664b9d22798f]