This bug was fixed in the package gnome-shell-extension-dash-to-panel - 31-1ubuntu20.04.1
--------------- 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
This bug was fixed in the package gnome-shell- extension- dash-to- panel - 31-1ubuntu20.04.1
--------------- extension- dash-to- panel (31-1ubuntu20.04.1) focal; urgency=medium
gnome-shell-
* Apply patch as SRU to fix extension breaking, bug (LP: #1892245)
-- Fabio Colella <email address hidden> Thu, 10 Sep 2020 11:37:11 +0200