Publishing details

• Created on 2020-09-24 by Łukasz Zemczak
• Published on 2020-09-24

Changelog

gnome-shell-extension-dash-to-panel (31-1ubuntu20.04.1) focal; urgency=medium

  * Apply patch as SRU to fix extension breaking, bug (LP: #1892245)

 -- Fabio Colella <email address hidden>  Thu, 10 Sep 2020 11:37:11 +0200

Builds

• amd64

Built packages

• gnome-shell-extension-dash-to-panel combines the dash and the GNOME main panel into a single panel

Package files

• gnome-shell-extension-dash-to-panel_31-1ubuntu20.04.1.debian.tar.xz (3.3 KiB)
• gnome-shell-extension-dash-to-panel_31-1ubuntu20.04.1.dsc (2.2 KiB)
• gnome-shell-extension-dash-to-panel_31-1ubuntu20.04.1_all.deb (152.9 KiB)
• gnome-shell-extension-dash-to-panel_31.orig.tar.gz (20.1 MiB)