Pretty old bug. No feedback from reporter since last ping a week ago. Unreproducible.
Bug closed.
Feel free to reopen it if you manage to reproduce it.
Regards,
Alexis
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
