[ubuntu/yakkety-proposed] gnome-shell-extension-mediaplayer 0~git20160509-3 (Accepted)
Jeremy Bicha
jbicha at linux.com
Wed Sep 14 23:16:24 UTC 2016
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
Date: 2016-09-14 22:20:22.882378+00:00
Changed-By: Simon McVittie <simon.mcvittie at collabora.co.uk>
Signed-By: Jeremy Bicha <jbicha at linux.com>
https://launchpad.net/ubuntu/+source/gnome-shell-extension-mediaplayer/0~git20160509-3
-------------- next part --------------
Sorry, changesfile not available.
More information about the Yakkety-changes
mailing list