Your message dated Wed, 14 Sep 2016 10:23:43 +0000 with message-id <e1bk7lz-0001qx...@franck.debian.org> and subject line Bug#837726: fixed in gnome-shell-extension-mediaplayer 0~git20160509-3 has caused the Debian Bug report #837726, regarding gnome-shell-extension-mediaplayer: Not installable with gnome-shell >= 3.21.92 to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 837726: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837726 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: gnome-shell-extension-mediaplayer Version: 0~git201600509-2 Severity: serious User: pkg-gnome-maintain...@lists.alioth.debian.org Usertags: gnome-shell-3-22 Hi, your package gnome-shell-extension-mediaplayer declares a strictly versioned dependency on gnome-shell. We've uploaded gnome-shell 3.21.92 to unstable, which makes gnome-shell-extension-mediaplayer uninstallable. In the past, it was necessary to explicitly declare supported gnome-shell versions in metadata.json. This was lifted in gnome-shell 3.21.92 [1]. "Nowadays, the user interface has mostly stabilized with most changes happening under the hood. As a result, extensions written for previous versions of GNOME Shell are very much expected to keep working on updates, if it wasn't for the version check that requires a version bump in the extension metadata. There has been a setting to disable that check for a while, but it's existence isn't widely known (hence the common perception that "everything breaks on updates"). While there is still some risk that an out-of-date extension can be enabled without error, but fails spectacularly later (where we cannot catch the exception), it is reasonably small by now when compared to the ~95% of extensions that can be "unbroken", so swap the default value to disable version checks by default." As a result, you could drop the gnome-shell << XXX version limitation altogether. The Debian release cycle is pretty long though, so we don't know yet if the gnome-shell version in Buster will actually be compatible with your extension today. We will release Stretch with GNOME Shell 3.22, so my recommendation would be to use gnome-shell (<< 3.23) as upper limt. Modifications for metadata.json are no longer required. Regards, Michael [1] https://git.gnome.org/browse/gnome-shell/commit/?id=5e0e3e
--- End Message ---
--- Begin Message ---Source: gnome-shell-extension-mediaplayer Source-Version: 0~git20160509-3 We believe that the bug you reported is fixed in the latest version of gnome-shell-extension-mediaplayer, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 837...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Simon McVittie <s...@debian.org> (supplier of updated gnome-shell-extension-mediaplayer package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 14 Sep 2016 09:18:45 +0100 Source: gnome-shell-extension-mediaplayer Binary: gnome-shell-extension-mediaplayer Architecture: source Version: 0~git20160509-3 Distribution: unstable Urgency: medium Maintainer: Simon McVittie <s...@debian.org> Changed-By: Simon McVittie <s...@debian.org> Description: gnome-shell-extension-mediaplayer - GNOME Shell extension to control media players Closes: 837726 Changes: 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 Checksums-Sha1: f0d6f86aeaee045fe80a91cbac3396288a466200 2254 gnome-shell-extension-mediaplayer_0~git20160509-3.dsc bf5558c6aa848656c6b1bc57ca25fe3ad9ed87ec 3192 gnome-shell-extension-mediaplayer_0~git20160509-3.debian.tar.xz Checksums-Sha256: 1ab57947e42d102d86b05a823786012fc94a295f45952a8a71c47199309983b5 2254 gnome-shell-extension-mediaplayer_0~git20160509-3.dsc ea2a1dd5ef19d4f6cc5d037207243a7c6398db412fd59cc4dd3b39d32c2be486 3192 gnome-shell-extension-mediaplayer_0~git20160509-3.debian.tar.xz Files: f5b9d69b0f6e8cc3938e4ba6961c16f9 2254 gnome optional gnome-shell-extension-mediaplayer_0~git20160509-3.dsc ce739ac55b997010c0402de05fc37864 3192 gnome optional gnome-shell-extension-mediaplayer_0~git20160509-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJX2QumAAoJEE3o/ypjx8yQ6dgP/jpIQDG2dVoHPr1duzXVJzol osceiA0bjPHU66GkkfsGUzZJPv5rJu/gFvY+gKKKXAnWXIN+xdwnOZMKL5c0IPCa EjqyyQ5CW9Mi63ZVRIkNcbcJvn/UgR5+P9upR5nfJUOlHEo+A/zv1VuHjR30cMNw k1vVz3xGC2TQaG9VuL5i9PusTm8RA5gF8SYQa9Yhfw3cFGHYJo6DJvYZsbCOpubu 9dtGZABeBqFzhZt0QXBSj0sHLHm3yaL/HGLT1gSRpcLegSN27u1a+xn4j/jjGh6j Pn1BdbZDzCdmCW2LeFU5yoc3iffQsrw3pK68vbVaa1lxzdrysatxq6zzNReXaYL+ PImQQI5aaCKJiktX0hfslWBHYdAjVIO9v2FAzNvG6DlRrekspngve32RnbFn41rH p2dO2TLGIKQoEXsW6tIovb/Rl5rVRRJyq036W+N7rtsJzZIXxKk9FT/Z/SfukwGi 0fyIp2RKAVgaW3Gf01ARGFtTsQjVJ1g+aTZ0/MTo44QfRDy6ecIqc52zJ5SBLHYc u8pCF7/T+Yt5AgOMx43wZIOLlgxWQ5Lx4GyTnD3ucyTZ5nD2Vf9eVd8WltspruNm oFCoGPaWSYZa+oG/jhCF6kyvFSmld/BT76JVydNz5kDTAL9MrGXHqlzWLjwmjt3a 3O4x2/MEMD1dqzoMf54A =QGRi -----END PGP SIGNATURE-----
--- End Message ---
