Your message dated Sun, 30 Oct 2016 22:00:11 +0000
with message-id <[email protected]>
and subject line Bug#829071: fixed in
gnome-shell-extension-remove-dropdown-arrows 7-1
has caused the Debian Bug report #829071,
regarding RFP: gnome-shell-extension-remove-dropdown-arrows -- removes drop
down, arrows from panel on GNOME shell
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.)
--
829071: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=829071
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Jonathan Carter <[email protected]>
* Package name : gnome-shell-extension-remove-dropdown-arrows
Version : 7
Upstream Author : Martin Pöhlmann <[email protected]>
* URL :
https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows
* License : GPL-3+
Programming Lang: JavaScript
Description : removes drop down arrows from panel on GNOME shell
Removes the dropdown arrows which were introduced in Gnome 3.10 from the App
Menu, System Menu, Input Menu, Access Menu, Places Menu, Applications Menu
and any other extension that wants to add dropdown arrows.
--- End Message ---
--- Begin Message ---
Source: gnome-shell-extension-remove-dropdown-arrows
Source-Version: 7-1
We believe that the bug you reported is fixed in the latest version of
gnome-shell-extension-remove-dropdown-arrows, 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.
Jonathan Carter <[email protected]> (supplier of updated
gnome-shell-extension-remove-dropdown-arrows 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: Mon, 23 May 2016 16:50:31 +0200
Source: gnome-shell-extension-remove-dropdown-arrows
Binary: gnome-shell-extension-remove-dropdown-arrows
Architecture: source all
Version: 7-1
Distribution: unstable
Urgency: medium
Maintainer: Jonathan Carter <[email protected]>
Changed-By: Jonathan Carter <[email protected]>
Description:
gnome-shell-extension-remove-dropdown-arrows - removes drop down arrows from
panel on GNOME shell
Closes: 829071
Changes:
gnome-shell-extension-remove-dropdown-arrows (7-1) unstable; urgency=medium
.
* Initial release (Closes: 829071)
Checksums-Sha1:
e205fba7f607d5779303fbd013c2a3be3af71355 2213
gnome-shell-extension-remove-dropdown-arrows_7-1.dsc
8739e81b4ec6fe3cd5eec9d54c699ca25a742416 32116
gnome-shell-extension-remove-dropdown-arrows_7.orig.tar.xz
62d391729c1ee27a9a02e0c88f1c10e4c9ef3c6b 1864
gnome-shell-extension-remove-dropdown-arrows_7-1.debian.tar.xz
169856504dc1fee647c3864951e24329065b654d 2992
gnome-shell-extension-remove-dropdown-arrows_7-1_all.deb
Checksums-Sha256:
922520d6ffd226f0026342790dadf02584bfc4953bf1c4f0c586c75670e9df99 2213
gnome-shell-extension-remove-dropdown-arrows_7-1.dsc
4ba20c64d516ef476530333269634dbdc7a75272164428f92caaa569a5f64468 32116
gnome-shell-extension-remove-dropdown-arrows_7.orig.tar.xz
cb106b964a149e15056c616b62522739936572bfd2406387b15879248c467507 1864
gnome-shell-extension-remove-dropdown-arrows_7-1.debian.tar.xz
f91b5b34534560054929abd555e67e1143e2340ae8f9c93b09bbdde0c6ebecdb 2992
gnome-shell-extension-remove-dropdown-arrows_7-1_all.deb
Files:
953e125ebdc85e4bda72f86a87421251 2213 gnome optional
gnome-shell-extension-remove-dropdown-arrows_7-1.dsc
118bf94038297439918eb2e6d7bd4135 32116 gnome optional
gnome-shell-extension-remove-dropdown-arrows_7.orig.tar.xz
e9f9bb94344869c2e4627d3f39582808 1864 gnome optional
gnome-shell-extension-remove-dropdown-arrows_7-1.debian.tar.xz
1cccdab07be6e29067ddab668e419707 2992 gnome optional
gnome-shell-extension-remove-dropdown-arrows_7-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJYDmRfAAoJEJFk+h0XvV02EAMP+wR0wOWoh4Ali0pluKY3jlon
/saU0bRFSIFsDUu716IDVXTmfPJP7zrGdldYpPrUhZP3Gp70A1RepVFSV27EAEuP
TZ9pcJdt5L+rkF1hMfyrILsctg5qs7oPGlPfUJ5CqKv/IqS4MJBPrOPvi8/hKtpx
x1sEqyjM6WdX6YL9x3uWNSXJhxeDbNUCGxyqNVm1VxmCvIXwTHo4oknhwZTep+2a
zvN+0shW00crIxjQrZCBca3BEGiynZNX/5TdsX18DKqAUZuppT2qNLTqiaaZMkSw
EeQ6MjYiSvh0IXYXGxqDRbdV1r+5+cWWytsRnbfhtFGYHIac1xikTaikfW2p6YeD
bhG1W+cjoifLQjh279l4RhUgldAWXKimjbTxPD48VGc8mg3yUTzvvdPCM1dfuNxh
BsLGtU+IC7yycPBtIm/UOXH5i4U6QntKzUEZgctlfYa7sHKB9iRVm95OwC3pxoJC
WLV0MYanr8vc3ZZbfrM2QNONwvDVS6S4amrbcLe3XC5aeteKlTypmWs7XvlBvH29
R5g4Y5A+nl4WrpKtupdz402vrfuNtzTnhxmfbCeWuunvGVl3aU7UMIZE0xoYS1RS
EI7BTVhdARHfQ20/e3KISl8pAcydxt+HwVrCAN9MJWIBVPkKi1W56UKhT9Loqn3n
uLzz7+M5S5OYiISo6bnd
=bZA1
-----END PGP SIGNATURE-----
--- End Message ---
