Bug#819151: marked as done (ITP: gnome-shell-extension-mediaplayer -- GNOME Shell extension to control media players)
Your message dated Wed, 30 Mar 2016 23:00:24 +0000
with message-id <E1alP68-00014m-T6@franck.debian.org>
and subject line Bug#819151: fixed in gnome-shell-extension-mediaplayer 0~git20160328-1
has caused the Debian Bug report #819151,
regarding ITP: gnome-shell-extension-mediaplayer -- GNOME Shell extension to control media players
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 owner@bugs.debian.org
immediately.)
--
819151: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819151
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Simon McVittie <smcv@debian.org>
* Package name : gnome-shell-extension-mediaplayer
Version : (git snapshot, would currently be 0~git20160215)
Upstream Author : Jean-Philippe Braun, Mantas Mikulėnas
* URL : https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
* License : GPL-2+
Programming Lang: JavaScript
Description : GNOME Shell extension to control media players
This GNOME Shell extension monitors D-Bus for media players that implement
the MPRIS v2.1 specification, and displays an indicator in the Shell's system
menu which shows current song and can be used to control playback. Suitable
media players include Rhythmbox, Banshee and Clementine.
.
Please note that each user will need to enable the extension manually, for
example using gnome-tweak-tool.
--- End Message ---
--- Begin Message ---
- To: 819151-close@bugs.debian.org
- Subject: Bug#819151: fixed in gnome-shell-extension-mediaplayer 0~git20160328-1
- From: Simon McVittie <smcv@debian.org>
- Date: Wed, 30 Mar 2016 23:00:24 +0000
- Message-id: <E1alP68-00014m-T6@franck.debian.org>
Source: gnome-shell-extension-mediaplayer
Source-Version: 0~git20160328-1
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 819151@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Simon McVittie <smcv@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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Mar 2016 07:32:27 +0100
Source: gnome-shell-extension-mediaplayer
Binary: gnome-shell-extension-mediaplayer
Architecture: all source
Version: 0~git20160328-1
Distribution: unstable
Urgency: medium
Maintainer: Simon McVittie <smcv@debian.org>
Changed-By: Simon McVittie <smcv@debian.org>
Closes: 819151
Description:
gnome-shell-extension-mediaplayer - GNOME Shell extension to control media players
Changes:
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)
Checksums-Sha1:
b53e0ad01d036f94e4b22065a585c42e2ad34c85 2254 gnome-shell-extension-mediaplayer_0~git20160328-1.dsc
c2edea76c5ae87338d562c18f746354d388d2c37 204352 gnome-shell-extension-mediaplayer_0~git20160328.orig.tar.xz
99150e47035c909111ee54a5ac871dd17ffd599a 2852 gnome-shell-extension-mediaplayer_0~git20160328-1.debian.tar.xz
e0e6e28aba184f4d383225a5f432472ca00da88d 58844 gnome-shell-extension-mediaplayer_0~git20160328-1_all.deb
Checksums-Sha256:
12695092009af8e8b8ad4f5a44108e8d113b7a8b76ef935e617455bf6c0e4562 2254 gnome-shell-extension-mediaplayer_0~git20160328-1.dsc
3de3ca821b8299c0cb00e4b65819520b59c2e127d3f18fc6f5df3ac56516c132 204352 gnome-shell-extension-mediaplayer_0~git20160328.orig.tar.xz
5cfca4287ed8f13f54cb4227bcf49df02122575a24a69cc6dbe22a90f11742f5 2852 gnome-shell-extension-mediaplayer_0~git20160328-1.debian.tar.xz
f9bcd4ec8968ed57e234b64e6dfb1d189cb686b693cbfc7c590078b0ab4c94a5 58844 gnome-shell-extension-mediaplayer_0~git20160328-1_all.deb
Files:
95750b4084ff24101f29bd525b1ea090 2254 gnome optional gnome-shell-extension-mediaplayer_0~git20160328-1.dsc
938515d52fe951ad6f17bbbabd843422 204352 gnome optional gnome-shell-extension-mediaplayer_0~git20160328.orig.tar.xz
57d48ddc2d51224d084224ea4b3fb2b3 2852 gnome optional gnome-shell-extension-mediaplayer_0~git20160328-1.debian.tar.xz
2ddf30b83ea1e4188e9c0424eb5c9207 58844 gnome optional gnome-shell-extension-mediaplayer_0~git20160328-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJW+iTcAAoJEE3o/ypjx8yQLNIP/3nF73bWuWCD+l8N+uwEce6X
iPX+TZQhp4h6iu+W7NtWfgQKt28AYtkRPG0iSz603XNq6zxTa48YP68DuoTjaF6l
Mi3g7r9rrmdhWXpG09knmc1QipQW5lFoweswUaekJBsGYWQmHPPi7FwaKNri1T7n
F/uxTHMqyBraBczGDfIVFDSqQcdHnc9fmDkyTHj9Xgd7wDEwDK6KEtFphlJ38BGo
ZcPMNwabCQLKmHy9jNtZ/IKHCOcJgnE4jb1i5nvW4P2L/kKqmlw9BCi4ioRXqcR8
kFazKmeQvPLVF136P3tR9a6T5t6FR+NNcNRqxjIO+6AxPM++V3DFYNMDhPL+TpcS
OvmiOw1L2WFfDw8mT2g4mtwU+p0Lp+ynn1Dzn3coi7aj507DBOUl0c70fIZvmGPv
fonG3NYNVA6fA8/owOf0aKDzBQb1J530Cp1chJmva7HS3YTp+hzmRdI3RM0a/Fgr
zDUPMRCz24UPuljGVtaZrPyZ7ESmOcNLueR7VpsNtpZ51c3d69RYpBmTnO+lZmpO
0jUMGdRmAKfymlSV84r8/TTPb1rU2s7AEzGIpbbcgJNcxV7eMJHVe/48pGyQP9S+
msxO/Jv/oZFWs3xTHDDuornMeCfRKtvMAZPw7jt/1oT1vG3/+HME6+1YBXLUnMWp
hUmrfCKTG9dsUu+U37EF
=Q3df
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: