gnome-shell-extension-mediaplayer (0~git20170311-1) experimental; urgency=medium * Increase debhelper compat level to 10 * New upstream snapshot - Compatible with GNOME Shell 3.24 -- Simon McVittie Mon, 13 Mar 2017 08:55:31 +0000 gnome-shell-extension-mediaplayer (0~git20161209-1) unstable; urgency=medium * New upstream snapshot - Explicitly declares compatibility with GNOME Shell 3.22 as used in stretch -- Simon McVittie Mon, 02 Jan 2017 22:14:09 +0000 gnome-shell-extension-mediaplayer (0~git20160830-1) unstable; urgency=medium * New upstream snapshot -- Simon McVittie Wed, 21 Sep 2016 22:21:14 +0100 gnome-shell-extension-mediaplayer (0~git20160509-3) unstable; urgency=medium * Rely on gnome-shell >= 3.21.92 having dropped version-checks by default (Closes: #837726) - Drop patch to metadata.json. It only declares compatibility with 3.20, but that's OK because the version-check is disabled by default now. - Depends: gnome-shell (<< 3.23). This avoids using stretch versions of this extension with buster versions of GNOME Shell, since we can't predict whether it will be 100% compatible -- Simon McVittie Wed, 14 Sep 2016 09:18:45 +0100 gnome-shell-extension-mediaplayer (0~git20160509-2) unstable; urgency=medium * Declare compatibility with GNOME 3.21.91 -- Simon McVittie Mon, 05 Sep 2016 10:28:03 +0100 gnome-shell-extension-mediaplayer (0~git20160509-1) unstable; urgency=medium * Standards-Version: 3.9.8 (no changes) * debian/gbp.conf: use correct DEP-14 branch name upstream/latest * d/rules: improve get-orig-source target - use DEP-14 branch name - get the ChangeLog from the correct commit * New upstream snapshot -- Simon McVittie Sun, 17 Jul 2016 17:43:55 +0100 gnome-shell-extension-mediaplayer (0~git20160328-1) unstable; urgency=medium * Initial package (Closes: #819151) * Packaging based on gnome-shell-extension-suspend-button (thanks to Tobias Frost) -- Simon McVittie Tue, 29 Mar 2016 07:32:27 +0100