gnome-shell-extension-top-icons-plus (19-1) unstable; urgency=medium * New upstream release -- Simon McVittie Thu, 19 Jan 2017 23:36:58 +0000 gnome-shell-extension-top-icons-plus (18-1) unstable; urgency=medium * New upstream release - Explicitly declares compatibility with GNOME Shell 3.22 as used in stretch * Remove get-orig-source target from debian/rules, no longer necessary -- Simon McVittie Mon, 02 Jan 2017 22:22:43 +0000 gnome-shell-extension-top-icons-plus (17-1) unstable; urgency=medium * New upstream release -- Simon McVittie Wed, 21 Sep 2016 22:21:50 +0100 gnome-shell-extension-top-icons-plus (15-3) unstable; urgency=medium * Rely on gnome-shell >= 3.21.92 having dropped version-checks by default (Closes: #837727) - Drop patch to metadata.json. It only declares compatibility with 3.20, but that's OK because the version-check is disabled by default now. - Depends: gnome-shell (<< 3.23). This avoids using stretch versions of this extension with buster versions of GNOME Shell, since we can't predict whether it will be 100% compatible -- Simon McVittie Wed, 14 Sep 2016 09:01:14 +0100 gnome-shell-extension-top-icons-plus (15-2) unstable; urgency=medium * d/watch: monitor tags on GitHub * Declare compatibility with 3.21.91 -- Simon McVittie Mon, 05 Sep 2016 10:16:14 +0100 gnome-shell-extension-top-icons-plus (15-1) unstable; urgency=medium * Initial package (Closes: #825761) -- Simon McVittie Sun, 17 Jul 2016 17:42:26 +0100