Processing commands for cont...@bugs.debian.org: > noowner 829071 Bug #829071 [wnpp] RFP: gnome-shell-extension-remove-dropdown-arrows -- removes drop down, arrows from panel on GNOME shell Removed annotation that Bug was owned by Jonathan Carter <jonat...@ubuntu.com>. > stop Stopping processing here.
Please contact me if you need assistance. -- 829071: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=829071 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
