Processing commands for cont...@bugs.debian.org: > retitle 818016 O: ido -- widgets and other objects used for indicators Bug #818016 [wnpp] ITA: ido -- widgets and other objects used for indicators Changed Bug title to 'O: ido -- widgets and other objects used for indicators' from 'ITA: ido -- widgets and other objects used for indicators'. > noowner 818016 Bug #818016 [wnpp] O: ido -- widgets and other objects used for indicators Removed annotation that Bug was owned by Mike Gabriel <mike.gabr...@das-netzwerkteam.de>. > stop Stopping processing here.
Please contact me if you need assistance. -- 818016: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818016 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems