Processed: retitle to RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell
Processing commands for control@bugs.debian.org:
> retitle 810222 RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell
Bug #810222 [wnpp] ITP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell
Changed Bug title to 'RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell' from 'ITP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell'.
> noowner 810222
Bug #810222 [wnpp] RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell
Removed annotation that Bug was owned by Gaudenz Steinlin <gaudenz@debian.org>.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
810222: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810222
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: