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

Processed: RFP: gnome-shell-extension-remove-dropdown-arrows -- removes drop down, arrows from panel on GNOME shell



Processing commands for control@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 <jonathan@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 owner@bugs.debian.org with problems


Reply to: