Your message dated Tue, 29 Mar 2022 17:18:55 +0000
with message-id <[email protected]>
and subject line Bug#1008537: fixed in gnome-shell-extension-autohidetopbar
1:107-1
has caused the Debian Bug report #1008537,
regarding gnome-shell-extension-autohidetopbar: does not declare compatibility
with GNOME Shell 42
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.)
--
1008537: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1008537
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnome-shell-extension-autohidetopbar
Version: 20211109-1
Severity: normal
Tags: bookworm sid fixed-upstream
User: [email protected]
Usertags: gnome-shell-42
The metadata.json for this extension doesn't declare compatibility with
GNOME 42. New upstream releases appear to have fixed this.
gnome-shell 42 is in experimental and will be entering unstable soon,
at which point this will become a RC bug.
During the GNOME Shell 42 transition, this extension will be removed from
testing if it continues to be incompatible.
Thanks,
smcv
--- End Message ---
--- Begin Message ---
Source: gnome-shell-extension-autohidetopbar
Source-Version: 1:107-1
Done: Tobias Frost <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Tobias Frost <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Mar 2022 19:01:31 +0200
Source: gnome-shell-extension-autohidetopbar
Architecture: source
Version: 1:107-1
Distribution: unstable
Urgency: medium
Maintainer: Tobias Frost <[email protected]>
Changed-By: Tobias Frost <[email protected]>
Closes: 1008537
Changes:
gnome-shell-extension-autohidetopbar (1:107-1) unstable; urgency=medium
.
* New upstream release. (Closes: #1008537)
* d/control: Update Depends: on gnome-shell to include version 42.
* Package version is now matching the version on extensions.gnome.org,
therefore an epoch has been introduced.
* Updating d/watch to follow upstream tags (matching the version on
extension.gnome.org as well)
* Update d/copyright.
Checksums-Sha1:
8e03899fcbc9d4d06c43ded165c6f38d837d1426 2154
gnome-shell-extension-autohidetopbar_107-1.dsc
b20fa7a3d15e22afc59f31820eca9399e57d7976 36000
gnome-shell-extension-autohidetopbar_107.orig.tar.gz
a63aae24a7d0a939cde7e2197ea17ec29c5bbc86 5416
gnome-shell-extension-autohidetopbar_107-1.debian.tar.xz
cf31c169a91d37c5617d853ad146332dfe0ecfcd 5796
gnome-shell-extension-autohidetopbar_107-1_source.buildinfo
Checksums-Sha256:
4e97d3a74c8af38f4a88f111bab025c0dbdbf2f247582fef73b32a6bf89a73a8 2154
gnome-shell-extension-autohidetopbar_107-1.dsc
30edd043edfae4d2b7828e2b9344cc7fdd9f9cf975b95cd75af3183aa9ce8c7c 36000
gnome-shell-extension-autohidetopbar_107.orig.tar.gz
9dcefd190cbf9c50fbf117b56d84f4288d16ac8dbdaceb7eda67627a284c3755 5416
gnome-shell-extension-autohidetopbar_107-1.debian.tar.xz
2992429d51b5aa1508d91f13f23ad4f56ba0006766d1e25ab30f53c6bc1925e5 5796
gnome-shell-extension-autohidetopbar_107-1_source.buildinfo
Files:
f5e0f22b41e3a14672fd4e0cf778804c 2154 gnome optional
gnome-shell-extension-autohidetopbar_107-1.dsc
e22f5e14972083928638f38368e688a1 36000 gnome optional
gnome-shell-extension-autohidetopbar_107.orig.tar.gz
ffa2613c14b624e40345ed2f9f3c2787 5416 gnome optional
gnome-shell-extension-autohidetopbar_107-1.debian.tar.xz
6c32c0a064bac9a8d2b6dcf5ef66d810 5796 gnome optional
gnome-shell-extension-autohidetopbar_107-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/d0M/zhkJ3YwohhskWT6HRe9XTYFAmJDO5EACgkQkWT6HRe9
XTZ0lw//fzleeEJXCdU/bmwqH0KzArYs0P0mkyWIZtlGyZaYRKLR+gGnYuVP0Aoh
uTIikhQ/zWwynZLtwODtM6XHP4Iqk2KfgLvkIa1rWE7xNyMyPP34oRkv+2Li74a6
ZfhsPq1GnkK+PM8pEK9ibAS7k4xI3rjlb2tBBD7MktGOI6qUHDarhLFofnrKe9aV
4qQ6qCol5btlmBWvroWt4QgZKNEvvyJa/ahB3348koTYFHQiZN8oS7zq1lri0+fh
ajw011SDWIKXlYrKGiTsPsFJV3NHWZ8gEvcFw2l1oWYofD8M8eNbDFg6LwOoo9Me
LiF+MA6bVpyid5UOC3707hY/B97bIasE98etT1xhYXVzA+ZNPRKc2f8IjMfA7Yps
VHFlJ6QDemDVgoXFgPn3pCgCDHT+WTsA7qfNf7FtVdMqjghr3wu8Fv5MLnVbsRKT
CpJwO38eggJon7k6Kjvnkkiv/y7uemoK8IGUihkOTRivYylmFFZpHL0BHMaMn4cJ
/l+dghaqzsQfFuRE1BSF+Pp3PS6FjS0N7XxxehCO7APqVMK9iM0qkkQEwteAhBRh
2JzIn4n2FYmHKyX8OXyF9xSFdSBVmwtGC+1W1YjQXFF8EGLHOCnYEFTJ4DKCbucC
dWCAbF1ofgfCLyEI5n2jZmOO/8j3BGfXLO6OlcTFHn16YKukwYg=
=jZut
-----END PGP SIGNATURE-----
--- End Message ---
