Processed: retitle to RFP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams
Processing commands for control@bugs.debian.org:
> retitle 849522 RFP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams
Bug #849522 [wnpp] ITP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams
Changed Bug title to 'RFP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams' from 'ITP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams'.
> noowner 849522
Bug #849522 [wnpp] RFP: gnome-shell-extension-radio -- GNOME shell extension for listening to internet radio streams
Removed annotation that Bug was owned by Léo Andrès <leo@ndrs.fr>.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
849522: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849522
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: