* debian/gnome-shell-extensions.gsettings-override:

+ Dropped, no longer needed as the enabled extension no longer exists. Thanks Artur Rona for noticing.
2015-06-29 08:40:05 +00:00
parent 6f1475e944
commit 4624ca952e
2 changed files with 8 additions and 2 deletions
--- 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 <pochu@debian.org>  Mon, 29 Jun 2015 10:39:33 +0200
+
 gnome-shell-extensions (3.16.1-1) unstable; urgency=medium

  * New upstream release.
--- a/debian/gnome-shell-extensions.gsettings-override
+++ b/debian/gnome-shell-extensions.gsettings-override
@@ -1,2 +0,0 @@
-[org.gnome.shell]
-enabled-extensions=['alternative-status-menu@gnome-shell-extensions.gcampax.github.com']