Your message dated Wed, 21 Oct 2015 21:22:35 +0000
with message-id <e1zp0qb-0000vy...@franck.debian.org>
and subject line Bug#802506: fixed in gnome-shell-extension-autohidetopbar
20151021-1
has caused the Debian Bug report #802506,
regarding Not compatible with gnome-shell 3.18
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.)
--
802506: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802506
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: gnome-shell-extension-autohidetopbar
Version: 20150911-1
Severity: serious
Hi,
gnome-shell 3.18 was uploaded to unstable a while ago.
gnome-shell-extension-autohidetopbar is not compatible with that version
according to the dependencies that are specified:
Depends: gnome-shell (<< 3.17)
Please update your package so it works with gnome-shell 3.18.
Thanks,
Michael
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT policy: (500, 'unstable'), (200, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
--- End Message ---
--- Begin Message ---
Source: gnome-shell-extension-autohidetopbar
Source-Version: 20151021-1
We believe that the bug you reported is fixed in the latest version of
gnome-shell-extension-autohidetopbar, 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 802...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Tobias Frost <t...@debian.org> (supplier of updated
gnome-shell-extension-autohidetopbar 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, 21 Oct 2015 22:10:43 +0200
Source: gnome-shell-extension-autohidetopbar
Binary: gnome-shell-extension-autohidetopbar
Architecture: source all
Version: 20151021-1
Distribution: unstable
Urgency: medium
Maintainer: Tobias Frost <t...@debian.org>
Changed-By: Tobias Frost <t...@debian.org>
Description:
gnome-shell-extension-autohidetopbar - GNOME shell automatic topbar hider
Closes: 802506
Changes:
gnome-shell-extension-autohidetopbar (20151021-1) unstable; urgency=medium
.
* New upstream git snapshot. (Closes: #802506)
* Update dependencies: Supports now Gnome 3.18
Checksums-Sha1:
6baa9bceef77026be39a8c01be4679ee24b4bfcc 2178
gnome-shell-extension-autohidetopbar_20151021-1.dsc
a13668078990b28b8d92cadd9017d83479f3768b 14536
gnome-shell-extension-autohidetopbar_20151021.orig.tar.xz
f344f855cbace1a3a0e9e3df074864902954abfb 3976
gnome-shell-extension-autohidetopbar_20151021-1.debian.tar.xz
8ccfd2071806234f477a349d0db59447d76ed096 16474
gnome-shell-extension-autohidetopbar_20151021-1_all.deb
Checksums-Sha256:
f710f1671073238f8490f7aa1a1e460c5f61eb7f1e45023683eb610ebd6943c2 2178
gnome-shell-extension-autohidetopbar_20151021-1.dsc
48c3fe34c8fb0e6761820149a9c7e7843d289dab2e2d6c9549fcb8aed0bf6a08 14536
gnome-shell-extension-autohidetopbar_20151021.orig.tar.xz
82774744b749e30d63b2c419f019536287e1482cec339da4ad0e1866e0a3b56f 3976
gnome-shell-extension-autohidetopbar_20151021-1.debian.tar.xz
eebb900894ed6482420c9a47df5559987e8bdaf99b00982469c61bc735d49504 16474
gnome-shell-extension-autohidetopbar_20151021-1_all.deb
Files:
8db812d3c1e1b65d3ca72f0668f7d2d1 2178 gnome optional
gnome-shell-extension-autohidetopbar_20151021-1.dsc
4d54c30a77afcf54b2339b3b9a3c95dd 14536 gnome optional
gnome-shell-extension-autohidetopbar_20151021.orig.tar.xz
927628802255a8a46681c92bc394c189 3976 gnome optional
gnome-shell-extension-autohidetopbar_20151021-1.debian.tar.xz
110e1776732b58aed3ed2c6e50494fed 16474 gnome optional
gnome-shell-extension-autohidetopbar_20151021-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWJ/GZAAoJEJFk+h0XvV02joYQAIq5vY1gvbssZ2URUjwLD8gw
28B+KISyGd6bL3FamM9HrE0QUVOiCxvwILyhVlpNnSBOqbOlo3ocqaXcGpf+RD3O
wOBPmMwURw5a46v2pdG96cJiZoVEHSbIiNyPkZflCxKZikozCQuUJ1wXTOUnUxhi
d3Fb7kw4IFREI95HVgB2MHn8YPQAP9/jVP8aOPo0hE4g2/vb2BVLNeiGqrvRPz3g
0AX4WcioJ8gpaatuu5PT7UptiEL47JWUqh1gaq4w8jegNY7vw4rgtG+ILAEttrDS
XN6bnkvM+Mi+znoEAPg+pS4AawGHtfUQLqiNIx5BQmxF0eOISGyO9S14UGzHxCJZ
ifpt+ftAqm33OiPZMQqgFmwWiXGL2Eox3cZwzz07Axtj3aBnno0RUCJLGBksgVG1
USy49XSYwq8wRhM9ML6hu1NME2J/80cUzA5iNioXcvZKPaYEFQq4za9gucavY7S9
0TZoCFAP0J0e2P53pRi8OtxeKofYNIj5/1J4c8de5C/GMFCWWqmxfwZnI5tgoLwV
4s/ibBofVAqukVuiSGH+p5DPiPqaTp261t622IDpNISg7YncvbRuBaqp21Q72UyI
xVaWU1Tz0cUjRdA2Fh/+JgXPSRJlQXvR10QR3Ki1RsHiJNYZ+rROVxK1n/u/1r8p
ovNB/UBXLcPfnD0/jlsN
=Fhc8
-----END PGP SIGNATURE-----
--- End Message ---
