[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