I reopened the bug because i closed it too quickly. It was on the assumption from a private message that it wouldn't be accepted after all.
This transition is painless. Please initiate it. Jérémy. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

