From 4624ca952ef24091983cafe57c4e163bbf5b124b Mon Sep 17 00:00:00 2001 From: Emilio Pozuelo Monfort Date: Mon, 29 Jun 2015 08:40:05 +0000 Subject: [PATCH] * debian/gnome-shell-extensions.gsettings-override: + Dropped, no longer needed as the enabled extension no longer exists. Thanks Artur Rona for noticing. --- debian/changelog | 8 ++++++++ debian/gnome-shell-extensions.gsettings-override | 2 -- 2 files changed, 8 insertions(+), 2 deletions(-) delete mode 100644 debian/gnome-shell-extensions.gsettings-override diff --git a/debian/changelog b/debian/changelog index 041c3a2d..53b25ca3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +gnome-shell-extensions (3.16.1-2) UNRELEASED; urgency=medium + + * debian/gnome-shell-extensions.gsettings-override: + + Dropped, no longer needed as the enabled extension no longer exists. + Thanks Artur Rona for noticing. + + -- Emilio Pozuelo Monfort Mon, 29 Jun 2015 10:39:33 +0200 + gnome-shell-extensions (3.16.1-1) unstable; urgency=medium * New upstream release. diff --git a/debian/gnome-shell-extensions.gsettings-override b/debian/gnome-shell-extensions.gsettings-override deleted file mode 100644 index 9d0e0976..00000000 --- a/debian/gnome-shell-extensions.gsettings-override +++ /dev/null @@ -1,2 +0,0 @@ -[org.gnome.shell] -enabled-extensions=['alternative-status-menu@gnome-shell-extensions.gcampax.github.com']