-- Karl
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
This patch really seems to work around the problem. I applied it
upstream and I'll update the debian package soon. Better solutions
than the one in this patch are still welcome, of course.
