Publishing details

Removed from disk on 2020-07-23.
Removal requested on 2020-07-23.
Superseded on 2020-07-22 by gnome-shell-extension-desktop-icons - 20.04.0-3
Published on 2020-05-19
Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

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>  Mon, 18 May 2020 20:32:21 +0200

Available diffs

diff from 20.04.0-1 to 20.04.0-2 (11.2 KiB)

Builds

amd64

Package files

gnome-shell-extension-desktop-icons_20.04.0-2.debian.tar.xz (25.8 KiB)
gnome-shell-extension-desktop-icons_20.04.0-2.dsc (2.3 KiB)
gnome-shell-extension-desktop-icons_20.04.0-2_all.deb (24.4 KiB)
gnome-shell-extension-desktop-icons_20.04.0.orig.tar.bz2 (50.4 KiB)