Apologies; the bug was already fixed soon after release, and the report archived. Please close this bug.
Best regards,
-- Patrick
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

