This bug was fixed in the package gnome-shell-extension-desktop-icons - 20.04.0-2~ubuntu20.04.1
--------------- gnome-shell-extension-desktop-icons (20.04.0-2~ubuntu20.04.1) focal; urgency=medium
* Backport to focal * debian/control: Set ubuntu developers as maintainers * debian/{control*,gbp.conf}: Adapt to focal branching
gnome-shell-extension-desktop-icons (20.04.0-2) unstable; urgency=medium
* debian/patches: Update translations from git * fileItem.js: unselect a file with Ctrl or Shift (LP: #1845491) * general: Fix key symbols (LP: #1844808) * fileItem.js: Refresh thumbnails if file changes (LP: #1879375)
-- Marco Trevisan (Treviño) <email address hidden> Tue, 19 May 2020 14:17:45 +0200
This bug was fixed in the package gnome-shell- extension- desktop- icons - 20.04.0- 2~ubuntu20. 04.1
--------------- extension- desktop- icons (20.04. 0-2~ubuntu20. 04.1) focal; urgency=medium
gnome-shell-
* Backport to focal {control* ,gbp.conf} : Adapt to focal branching
* debian/control: Set ubuntu developers as maintainers
* debian/
gnome-shell- extension- desktop- icons (20.04.0-2) unstable; urgency=medium
* debian/patches: Update translations from git
* fileItem.js: unselect a file with Ctrl or Shift (LP: #1845491)
* general: Fix key symbols (LP: #1844808)
* fileItem.js: Refresh thumbnails if file changes (LP: #1879375)
-- Marco Trevisan (Treviño) <email address hidden> Tue, 19 May 2020 14:17:45 +0200