Subject: ping timeout, closing

From: Brice Goglin <[email-masked]>
Date: Mon, 26 Feb 2007 20:24:49 +0100

Closing this bug since I didn't get any reply from the submitter after
my ping a month ago. If anybody ever reproduces this problem, feel free
to reopen.

Brice