Hi,

it seems we did a different fix for the same problem at the same time ;-)
Must be due to the fact I am only subscribed to user-digest.

I've tried your 2nd patch (from cvs), too. It fixes this problem.
Thanks.

-- 
lg, Chris

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to