Processing commands for [email protected]: > retitle 712478 RFP: gnome-shell-extension-icon-hider -- GNOME Shell's status > area icons manager Bug #712478 [wnpp] ITP: gnome-shell-extension-icon-hider -- GNOME Shell's status area icons manager Changed Bug title to 'RFP: gnome-shell-extension-icon-hider -- GNOME Shell's status area icons manager' from 'ITP: gnome-shell-extension-icon-hider -- GNOME Shell's status area icons manager' > noowner 712478 Bug #712478 [wnpp] RFP: gnome-shell-extension-icon-hider -- GNOME Shell's status area icons manager Removed annotation that Bug was owned by Igor Kalnitsky <[email protected]>. > tag 712478 - pending Bug #712478 [wnpp] RFP: gnome-shell-extension-icon-hider -- GNOME Shell's status area icons manager Ignoring request to alter tags of bug #712478 to the same tags previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 712478: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712478 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
