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.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!