[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1007935: marked as done (ITP: gnome-shell-extension-manager -- Utility for managing GNOME Shell Extensions)



Your message dated Wed, 30 Mar 2022 18:00:09 +0000
with message-id <E1nZcc5-0008Up-UT@fasolo.debian.org>
and subject line Bug#1007935: fixed in gnome-shell-extension-manager 0.2.3-1
has caused the Debian Bug report #1007935,
regarding ITP: gnome-shell-extension-manager -- Utility for managing GNOME Shell Extensions
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 owner@bugs.debian.org
immediately.)


-- 
1007935: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1007935
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp

X-Debbugs-Cc: debian-devel@lists.debian.org

Owner: Heather Ellsworth <heather.ellsworth@canonical.com>

X-Debbugs-Cc: heather.ellsworth@canonical.com

Severity: wishlist



* Package name    : gnome-shell-extension-manager

  Version         : 0.2.3

  Upstream Author : Matt Jakeman

* URL             : https://github.com/mjakeman/extension-manager

* License         : GPL

  Programming Lang: C

  Description     : Utility for managing GNOME Shell Extensions



The GNOME shell extension manager is a tool for helping you manage your

installed GNOME shell extensions.



Other Info

-----------

This app will be maintained by the Debian GNOME team. Packaging is at

https://salsa.debian.org/gnome-team/gnome-shell-extension-manager



It is useful for providing an easy way for folks to enable and use various
 GNOME shell extensions.

Thanks,
Heather

--- End Message ---
--- Begin Message ---
Source: gnome-shell-extension-manager
Source-Version: 0.2.3-1
Done: Heather Ellsworth <heather.ellsworth@canonical.com>

We believe that the bug you reported is fixed in the latest version of
gnome-shell-extension-manager, 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 1007935@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Heather Ellsworth <heather.ellsworth@canonical.com> (supplier of updated gnome-shell-extension-manager 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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 15 Mar 2022 10:49:00 -0600
Source: gnome-shell-extension-manager
Binary: gnome-shell-extension-manager gnome-shell-extension-manager-dbgsym
Architecture: source amd64
Version: 0.2.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Changed-By: Heather Ellsworth <heather.ellsworth@canonical.com>
Description:
 gnome-shell-extension-manager - Utility for managing GNOME Shell Extensions
Closes: 1007935
Changes:
 gnome-shell-extension-manager (0.2.3-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1007935)
Checksums-Sha1:
 e01feb24ea162aba1abbee1c59f770e53aafe773 2360 gnome-shell-extension-manager_0.2.3-1.dsc
 8633b18c2403bcbf1ee864704eac24b953855df7 1384925 gnome-shell-extension-manager_0.2.3.orig.tar.gz
 50601703c1f2a0bc66ce968c4972caa7b0ad006e 2572 gnome-shell-extension-manager_0.2.3-1.debian.tar.xz
 72151536e4e50957e5550515efe16dd9ea6bda29 126900 gnome-shell-extension-manager-dbgsym_0.2.3-1_amd64.deb
 e4d19411e2fa8eb6f492106d2e4ca3ce9a427fe3 21529 gnome-shell-extension-manager_0.2.3-1_amd64.buildinfo
 4c78ee689893ea2f49491d092f22cb562cbdbf20 64004 gnome-shell-extension-manager_0.2.3-1_amd64.deb
Checksums-Sha256:
 ee414937d09300bd1ccd73152bcc8baa3ef7ebcae69f31656f5f8e6cb1453f94 2360 gnome-shell-extension-manager_0.2.3-1.dsc
 5c555359cbf99ccce3fad5221a0567c5b01ffe4fc15d32087b71bc4b59dc70a3 1384925 gnome-shell-extension-manager_0.2.3.orig.tar.gz
 82f1c0631258ed9e04747c99f08f479759a15ef4460fbbecdffbeb48ec84781a 2572 gnome-shell-extension-manager_0.2.3-1.debian.tar.xz
 d374364031bdde8a77b31f4339edaf97525eead7d9bdf7ad1e489097279f2d64 126900 gnome-shell-extension-manager-dbgsym_0.2.3-1_amd64.deb
 bc30010191e8a8e23efd1a9081c8b91b1e89cbb9cbd64920d725233117991607 21529 gnome-shell-extension-manager_0.2.3-1_amd64.buildinfo
 bf42cba59d8c1c164295330259771c61036d60052cb7f9a6914d70be47956dc4 64004 gnome-shell-extension-manager_0.2.3-1_amd64.deb
Files:
 c64c42b7b7008f437ff7dd490176ecc0 2360 gnome optional gnome-shell-extension-manager_0.2.3-1.dsc
 65e56d53db27d065af17ecd6431fb6e8 1384925 gnome optional gnome-shell-extension-manager_0.2.3.orig.tar.gz
 d96f29a0a61c651f05020c026e341c17 2572 gnome optional gnome-shell-extension-manager_0.2.3-1.debian.tar.xz
 80a46c48e055df59ede368bc855e0b61 126900 debug optional gnome-shell-extension-manager-dbgsym_0.2.3-1_amd64.deb
 f9f1a32f8af1630f4f8d4fd5125e7e6b 21529 gnome optional gnome-shell-extension-manager_0.2.3-1_amd64.buildinfo
 23ce7c2442fda1eb2cf7e3857d715f5a 64004 gnome optional gnome-shell-extension-manager_0.2.3-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmI1EMQACgkQ5mx3Wuv+
bH2Grg/8Ckspck1nG7X01VIQABl4Y0QE+KCTsg+CrPpEvjLySSH8FmUS6H07XJLm
01ZGe1j3qslRtehoxqEyVRod/tIOqt6hUvymobM1oYRvNL9puk0mXRjXW8s3CeaZ
U9JGwaeM+0ndtg/MhyxVihnli2YNfh/B/crK/3BvLakutYDx8Jjj38QqQ/0mhVLN
07+WqFm0DVHoRDuIXZtpIfqCxIusvmfqGjj86O5hLOfp02UAvsaG8QpUXZoydV5h
bGVVY+Pb5ZaHWc+BBByDwaaHrJ7PqZlW+pGUY82h55peR0wUrwXPujvJl0i509fZ
7KBWmzn2hqiZZCjQnX/w6vdXVbOloeW3ILj8WdiS60A/PbsmAoY8SCoMzRRCtx7W
z2RiSShRonsdBrPBEHbyUj43PsBvWVVxzIwmkoaqqHjzPlP7JQ90H3Rw+nojBypW
wFdIyGAj31YPexqbqXLPdoNjIO3CNTSVBTIcxM+xaHOtxu2uUXvHC2zYHebpoVzP
fzsZ16EqqwjxjKEkaYFq9BGEOSbOhgH639AeaCB8V4eK/OQmHylpgNpQSjrW+m/8
sywsgzFSRKz3tLBrbEA9+oRQIWRQNa0XkOhB3Ed2NXCItbr/eo5pXdZIEr8VElV2
yL4MXv0OXWYqvFRvHCH3/ISDL9SLt/ax0YVL3NC7lrzfYZcB5Ck=
=cJ1B
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: