Today I updated the package gnome-shell-extension-dash-to-panel to version 15 (from version 14) in Debian unstable. Just a bunch of minor upstream fixes. https://github.com/home-sweet-gnome/dash-to-panel/releases/tag/v15
Generalistic and moderated instance. All opinions are welcome, but hate speeches are prohibited. Users who don't respect rules will be silenced or suspended, depending on the violation severity.