gnome-shell-extension-top-icons-plus (19-1) unstable; urgency=medium

  * New upstream release

 -- Simon McVittie <smcv@debian.org>  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 <smcv@debian.org>  Mon, 02 Jan 2017 22:22:43 +0000

gnome-shell-extension-top-icons-plus (17-1) unstable; urgency=medium

  * New upstream release

 -- Simon McVittie <smcv@debian.org>  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 <smcv@debian.org>  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 <smcv@debian.org>  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 <smcv@debian.org>  Sun, 17 Jul 2016 17:42:26 +0100
