Your message dated Tue, 26 Apr 2016 09:01:28 +0200
with message-id <20160426070128.ga24...@home.ouaza.com>
and subject line Re: Bug#822637: uninstallable in sid, incompatible with GNOME
3.20
has caused the Debian Bug report #822637,
regarding uninstallable in sid, incompatible with GNOME 3.20
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.)
--
822637: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822637
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: gnome-shell-timer
Version: 0.3.12+20140924-3
Severity: serious
Dear Maintainer,
gnome-shell-timer is currently uninstallable in sid, since it depends on
gnome-shell << 3.19. It should be made compatible with GNOME 3.20.
In my experience, it is just a matter of updating the dependencies (the applet
works fine otherwise).
Thanks!
--
.''`. Sébastien Villemot
: :' : Debian Developer
`. `' http://sebastien.villemot.name
`- GPG Key: 4096R/381A7594
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Version: 0.3.12+20140924-4
On Mon, 25 Apr 2016, Sébastien Villemot wrote:
> Package: gnome-shell-timer
> Version: 0.3.12+20140924-3
> Severity: serious
>
> Dear Maintainer,
>
> gnome-shell-timer is currently uninstallable in sid, since it depends on
> gnome-shell << 3.19. It should be made compatible with GNOME 3.20.
I uploaded 0.3.12+20140924-4 fixing this yesterday already.
Cheers,
--
Raphaël Hertzog ◈ Debian Developer
Support Debian LTS: http://www.freexian.com/services/debian-lts.html
Learn to master Debian: http://debian-handbook.info/get/
--- End Message ---
