Processing commands for cont...@bugs.debian.org: > retitle 620507 O: eterm -- Enlightened Terminal Emulator Bug #620507 [wnpp] ITA: eterm -- Enlightened Terminal Emulator Bug #636759 [wnpp] ITA: eterm -- Enlightened Terminal Emulator Changed Bug title to 'O: eterm -- Enlightened Terminal Emulator' from 'ITA: eterm -- Enlightened Terminal Emulator' Changed Bug title to 'O: eterm -- Enlightened Terminal Emulator' from 'ITA: eterm -- Enlightened Terminal Emulator' > noowner 620507 Bug #620507 [wnpp] O: eterm -- Enlightened Terminal Emulator Bug #636759 [wnpp] O: eterm -- Enlightened Terminal Emulator Removed annotation that Bug was owned by Jose Antonio Jimenez Madrid <donjosemad...@gmail.com>. Removed annotation that Bug was owned by Jose Antonio Jimenez Madrid <donjosemad...@gmail.com>. > tag 620507 - pending Bug #620507 [wnpp] O: eterm -- Enlightened Terminal Emulator Bug #636759 [wnpp] O: eterm -- Enlightened Terminal Emulator Ignoring request to alter tags of bug #620507 to the same tags previously set Ignoring request to alter tags of bug #636759 to the same tags previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 620507: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620507 636759: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636759 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
