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']