Processing commands for cont...@bugs.debian.org: > retitle 810222 ITP: gnome-shell-extension-sound-device-chooser -- Sound > output device chooser extension for GNOME Shell Bug #810222 [wnpp] RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell Changed Bug title to 'ITP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell' from 'RFP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell'. > owner 810222 ! Bug #810222 [wnpp] ITP: gnome-shell-extension-sound-device-chooser -- Sound output device chooser extension for GNOME Shell Owner recorded as Fabio Augusto De Muzio Tobich <ftob...@gmail.com>. > -- Stopping processing here.
Please contact me if you need assistance. -- 810222: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810222 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
