OK, thanks and sorry for the noise (though, admittedly, the other bug
report didn't fail the same way).

      Vincent



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to