Processing commands for [email protected]: > retitle 1141905 ITA: prettyping -- better ping tool Bug #1141905 [wnpp] O: prettyping -- better ping tool Changed Bug title to 'ITA: prettyping -- better ping tool' from 'O: prettyping -- better ping tool'. > owner 1141905 ! Bug #1141905 [wnpp] ITA: prettyping -- better ping tool Owner recorded as [email protected]. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1141905: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141905 Debian Bug Tracking System Contact [email protected] with problems
