Processing commands for cont...@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 <l...@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 ow...@bugs.debian.org with problems
