gnome-shell-extension-workspacestodock (40-0kali1) kali-dev; urgency=medium

  * Import new upstream release

 -- Sophie Brun <sophie@freexian.com>  Mon, 24 Oct 2016 15:56:52 +0200

gnome-shell-extension-workspacestodock (36-0kali2) kali-dev; urgency=medium

  * Add compatibility with gnome-shell 3.21.* and 3.22

 -- Sophie Brun <sophie@freexian.com>  Thu, 15 Sep 2016 15:08:10 +0200

gnome-shell-extension-workspacestodock (36-0kali1) kali-dev; urgency=medium

  * Import new upstream release (compatible gnome-shell 3.20)

 -- Sophie Brun <sophie@freexian.com>  Tue, 24 May 2016 11:24:25 +0200

gnome-shell-extension-workspacestodock (31-0kali1) kali-dev; urgency=medium

  * Import new upstream release (compatible gnome-shell 3.18)

 -- Sophie Brun <sophie@freexian.com>  Fri, 23 Oct 2015 12:10:57 +0200

gnome-shell-extension-workspacestodock (29-0kali1) kali-dev; urgency=medium

  * Import new upstream release (compatible gnome-shell 3.16)

 -- Sophie Brun <sophie@freexian.com>  Fri, 03 Jul 2015 16:13:19 +0200

gnome-shell-extension-workspacestodock (27-0kali1) kali-dev; urgency=low

  * Initial release (Closes: 0002330)

 -- Sophie Brun <sophie@freexian.com>  Thu, 18 Jun 2015 15:06:29 +0200
