Processing commands for cont...@bugs.debian.org: > retitle 842694 RFP: gnome-shell-extension-proxy-switcher -- > gnome-shell-extension-proxy-switcher Bug #842694 [wnpp] ITP: gnome-shell-extension-proxy-switcher -- gnome-shell-extension-proxy-switcher Changed Bug title to 'RFP: gnome-shell-extension-proxy-switcher -- gnome-shell-extension-proxy-switcher' from 'ITP: gnome-shell-extension-proxy-switcher -- gnome-shell-extension-proxy-switcher'. > noowner 842694 Bug #842694 [wnpp] RFP: gnome-shell-extension-proxy-switcher -- gnome-shell-extension-proxy-switcher Removed annotation that Bug was owned by Jonathan Carter <jcar...@linux.com>. > stop Stopping processing here.
Please contact me if you need assistance. -- 842694: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=842694 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
