Processing commands for cont...@bugs.debian.org: > retitle 620507 ITA: eterm -- Enlightened Terminal Emulator Bug #620507 [wnpp] O: eterm -- Enlightened Terminal Emulator Bug #636759 [wnpp] O: eterm -- Enlightened Terminal Emulator Changed Bug title to 'ITA: eterm -- Enlightened Terminal Emulator' from 'O: eterm -- Enlightened Terminal Emulator'. Changed Bug title to 'ITA: eterm -- Enlightened Terminal Emulator' from 'O: eterm -- Enlightened Terminal Emulator'. > owner 620507 ! Bug #620507 [wnpp] ITA: eterm -- Enlightened Terminal Emulator Bug #636759 [wnpp] ITA: eterm -- Enlightened Terminal Emulator Owner recorded as Jose Antonio Jimenez Madrid <donjosemad...@gmail.com>. Owner recorded as Jose Antonio Jimenez Madrid <donjosemad...@gmail.com>. > thanks Stopping processing here.
Please contact me if you need assistance. -- 620507: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620507 636759: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636759 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
