From 380cf618110539f63ffff28b4243362f3236f59b Mon Sep 17 00:00:00 2001 From: Michael Biebl Date: Thu, 2 Jul 2015 17:06:14 +0000 Subject: [PATCH] New upstream release. --- debian/changelog | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 53b25ca3..8dcf7fe3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,13 @@ -gnome-shell-extensions (3.16.1-2) UNRELEASED; urgency=medium +gnome-shell-extensions (3.16.2-1) UNRELEASED; urgency=medium + [ Emilio Pozuelo Monfort ] * debian/gnome-shell-extensions.gsettings-override: + Dropped, no longer needed as the enabled extension no longer exists. Thanks Artur Rona for noticing. + [ Michael Biebl ] + * New upstream release. + -- Emilio Pozuelo Monfort Mon, 29 Jun 2015 10:39:33 +0200 gnome-shell-extensions (3.16.1-1) unstable; urgency=medium