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

Brice



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

Reply via email to