Your message dated Sat, 24 Feb 2018 20:50:26 +0000
with message-id <[email protected]>
and subject line Bug#891305: fixed in gnome-shell-timer 0.3.20+20171025-2
has caused the Debian Bug report #891305,
regarding gnome-shell-timer: uninstallable with gnome-shell 3.27
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 [email protected]
immediately.)
--
891305: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=891305
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: gnome-shell-timer
Version: 0.3.20+20171025-1
Severity: important
gnome-shell 3.27.91-1 has recently been uploaded to Debian experimental.
gnome-shell-timer depends on gnome-shell (<< 3.27) which means that it
is uninstallable with the new version. Please test your extension with
the new version of gnome-shell and either raise the allowed
gnome-shell version or drop the upper limit check completely.
Since GNOME 3.22, GNOME Shell allows loading extensions even if they
have not been specifically marked as compatible in their
metadata.json.
Thanks,
Jeremy Bicha
--- End Message ---
--- Begin Message ---
Source: gnome-shell-timer
Source-Version: 0.3.20+20171025-2
We believe that the bug you reported is fixed in the latest version of
gnome-shell-timer, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Raphaël Hertzog <[email protected]> (supplier of updated gnome-shell-timer
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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2018 21:27:54 +0100
Source: gnome-shell-timer
Binary: gnome-shell-timer
Architecture: source
Version: 0.3.20+20171025-2
Distribution: unstable
Urgency: medium
Maintainer: Raphaël Hertzog <[email protected]>
Changed-By: Raphaël Hertzog <[email protected]>
Description:
gnome-shell-timer - GNOME Shell extension providing a countdown timer in the
top pane
Closes: 891305
Changes:
gnome-shell-timer (0.3.20+20171025-2) unstable; urgency=medium
.
* Drop upper limit on gnome-shell dependency. Closes: #891305
Checksums-Sha1:
455a9c4e4fe3029ed72ac140e18840f68fd5e08e 1723
gnome-shell-timer_0.3.20+20171025-2.dsc
6c18f70a85628c6da5d9c08ae7fdf59c49f2fede 3108
gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz
eb15e8277f2c280df5be3c77645340df51bd8dee 6174
gnome-shell-timer_0.3.20+20171025-2_source.buildinfo
Checksums-Sha256:
1054912e89233ff85b0a2ea80482cc7163da37f752f1a0540386e80f910d2e55 1723
gnome-shell-timer_0.3.20+20171025-2.dsc
fc1f1ca0b7e50628a2c10ae65754f3296c15c04c22e5f445f732a5aa72299206 3108
gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz
7e9fa9ad1ae364d2176964554ee9d07a6e39a60f9b747046c1e5e3ab912488d1 6174
gnome-shell-timer_0.3.20+20171025-2_source.buildinfo
Files:
7f5eea9fd75497acd5f73e0b8db76fd8 1723 gnome optional
gnome-shell-timer_0.3.20+20171025-2.dsc
3abbd97700900076f3b08d08cdaf80c2 3108 gnome optional
gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz
ed39eb24cb062688d2ac5abc0d3c680d 6174 gnome optional
gnome-shell-timer_0.3.20+20171025-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
Comment: Signed by Raphael Hertzog
iQEzBAEBCgAdFiEE1823g1EQnhJ1LsbSA4gdq+vCmrkFAlqRzEIACgkQA4gdq+vC
mrnV2Qf+OCR3ojp0SfIaOMBroyftt8v7XbYUtkJ6S72q3W2WsznyI7Kwu+oGuN5D
3OXOn+dsC2jVxrgiYd+7XryGbTO6TRhPtVitEmoWOnXzfpbWLKzNexzrBPDx3C9f
JNzJ8in/hb5/wLa5aLGsTmsskPl/tvTlv9evbNzZpnVpxqT4tMAk3AM39VsSUIo+
F+LA5s/C1s9SjryyaBFHdfTroR9zBGE8xKITtsdVvkPrpRKfIpLqE0SnggWqhOb4
R9jlbiuosiJTmLrnhgpBKulvuXHVek9s1aLDf2yeB/oryON6oUPJxbJX8PiHJQ2l
ArgCNU37MEs27Ss6ihREo+JeV640UA==
=soiA
-----END PGP SIGNATURE-----
--- End Message ---
