Your message dated Fri, 15 Oct 2021 16:19:27 +0000 with message-id <e1mbpvb-0004d0...@fasolo.debian.org> and subject line Bug#995756: fixed in gnome-shell-extension-autohidetopbar 20211001-1 has caused the Debian Bug report #995756, regarding gnome-shell-extension-autohidetopbar: missing file /usr/share/gnome-shell/extensions/hidetop...@mathieu.bidon.ca/Settings-40.ui 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.) -- 995756: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995756 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: gnome-shell-extension-autohidetopbar Version: 20210525-2 Severity: grave Justification: renders package unusable X-Debbugs-Cc: tomas.ju...@gmail.com missing file /usr/share/gnome-shell/extensions/hidetop...@mathieu.bidon.ca/Settings-40.ui consequently the extension cannot be activated using extension-manager -- System Information: Debian Release: bookworm/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 5.14.0-1-amd64 (SMP w/6 CPU threads) Locale: LANG=cs_CZ.UTF-8, LC_CTYPE=cs_CZ.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages gnome-shell-extension-autohidetopbar depends on: ii gnome-shell 40.5-1+b1 Versions of packages gnome-shell-extension-autohidetopbar recommends: ii gnome-shell-extension-prefs 40.5-1+b1 gnome-shell-extension-autohidetopbar suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Source: gnome-shell-extension-autohidetopbar Source-Version: 20211001-1 Done: Tobias Frost <t...@debian.org> 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 995...@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: Fri, 15 Oct 2021 17:57:27 +0200 Source: gnome-shell-extension-autohidetopbar Architecture: source Version: 20211001-1 Distribution: unstable Urgency: medium Maintainer: Tobias Frost <t...@debian.org> Changed-By: Tobias Frost <t...@debian.org> Closes: 995756 996046 Changes: gnome-shell-extension-autohidetopbar (20211001-1) unstable; urgency=medium . * New upstream git snapshot. - This version declares compatibility with GNOME 41. (Closes: #996046) * Install the file Settings-40.ui for GNOME 40 compatibility. Thanks to Tomas for the triaging and bug report (Closes: #995756). Checksums-Sha1: ec07fae20287b02d4655c858f9e856d0cc1fccb6 2187 gnome-shell-extension-autohidetopbar_20211001-1.dsc 2702a5ec8d5759e67920d7ccf8b041dfe77e06ca 28216 gnome-shell-extension-autohidetopbar_20211001.orig.tar.xz 44cffe5c841d5338c38a3cb4763fee6d724a1bf9 4940 gnome-shell-extension-autohidetopbar_20211001-1.debian.tar.xz 1ee16e178a6e00c1f5e8ef07a5a590a8e9bfc0fd 6933 gnome-shell-extension-autohidetopbar_20211001-1_amd64.buildinfo Checksums-Sha256: 0fb635fb25448cda26d3d3536d3b7e03e22614a42a5fb37cdb11d85f42fd194e 2187 gnome-shell-extension-autohidetopbar_20211001-1.dsc 7cc1d16c982d3e9f7ba025892c8ec402d8228cd621f0085709654ed529d7df2c 28216 gnome-shell-extension-autohidetopbar_20211001.orig.tar.xz 1bee2c1ed9440691a2ef5863c3f5b717a090f7af1f67dbc8be2bda1e1fa53cf7 4940 gnome-shell-extension-autohidetopbar_20211001-1.debian.tar.xz a610a3429469bcb5d60aaf98e92f4cc102837107de1e5f5abe8b44fbb4de444d 6933 gnome-shell-extension-autohidetopbar_20211001-1_amd64.buildinfo Files: d3ec16b15d2889dfdfbc6d4d81dd06f3 2187 gnome optional gnome-shell-extension-autohidetopbar_20211001-1.dsc 64a9cc05445148911ca77ad2719e8b9c 28216 gnome optional gnome-shell-extension-autohidetopbar_20211001.orig.tar.xz ebe7255c250b60f2f4c8c5c5b65c00f1 4940 gnome optional gnome-shell-extension-autohidetopbar_20211001-1.debian.tar.xz dbfbcec0a1485201f533ed76be06bc34 6933 gnome optional gnome-shell-extension-autohidetopbar_20211001-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/d0M/zhkJ3YwohhskWT6HRe9XTYFAmFppWIACgkQkWT6HRe9 XTbELg//TLiW5YuEJI90Lyv8/kyHkBCawbWrs0QkMwub4vY+FbbDgR0Mepr2odB9 jrz9NZ24/US8Key2y/MQABZ8kfjEHHbyiBabV4zJbchX33KAGWeRAO09lACXuqWX DwQRm0ZU1MK80bg4tZxBRmQaUSlZwjFvNLaPAKMu1/Qer3xWe2XJBM+ikkmu5Mtl 8aOxxIRaRY78vKbHBA27cbVeNFKv5CMB/jFAcf57AU/ir4vR6sRXQwVwstDiXtIA +ohy0Iz1O8AA9qeIqNqQmUl7GI3IdJUmtIlainWzhHOyKRKrEjnXLH5K5Y7qkR0O 1uW1vkrH5zjVV6nSb3Iv0qwkmvE5hBK6fMsGRx//b0FjaCVdZ+PwvZXyd9qrL4m/ PS8nE7rCbEZ9D3QuQm+drwlIGXmsIwxSWhRu0BLLztU3cjyKlO44ejUz5ElEBAzP t4l8ozTZ+TG8B7zaaShhtNeVkZ1Nun6toSRu+KLmm9kLeRgqWV8hyqPa47ai/JW/ sjtKD26WpKaNMpuPcJzKa/LmkchqAzE6sHNhIkfBn3aI15x5ofnO+68F5pkQ3N1t JSfQKDu4pmgnrI5t/yHtKsrSp5cddnE53oGVHkgf+ilnE7+T/dc5sFUHy2NGhasq gkFqOYOx7+LF8NcDfLmNiTp5d8+XWvNFeDTiaHYiDkkixZWQHOw= =6d+A -----END PGP SIGNATURE-----
--- End Message ---
