Processed: Re: RFS: gnome-shell-extensions-remove-dropdown-arrows/7-1, ITP: 829071 -- removes drop down, arrows from panel on GNOME shell

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> owner -1 !
Bug #841070 [sponsorship-requests] RFS: gnome-shell-extensions-remove-dropdown-arrows/7-1, ITP: 829071 -- removes drop down, arrows from panel on GNOME shell
Owner recorded as Tobias Frost <tobi@debian.org>.
> tags -1 moreinfo
Bug #841070 [sponsorship-requests] RFS: gnome-shell-extensions-remove-dropdown-arrows/7-1, ITP: 829071 -- removes drop down, arrows from panel on GNOME shell
Added tag(s) moreinfo.

-- 
841070: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841070
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems