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
