Processed: your mail
"Debian Bug Tracking System" <[email protected]> Fri, 24 Jul 2026 18:31:02 +0000
| Newsgroups | gmane.linux.debian.devel.wnpp |
|---|---|
| Message-ID | <[email protected]> |
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