Processed: retitle to O: ido -- widgets and other objects used for indicators
Processing commands for control@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.gabriel@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 owner@bugs.debian.org with problems
Reply to: