Bug#257206: acknowledged by developer ((re-)closing with existing version)

[DEMAINE Benoit-Pierre]

sorry; API changed; I did not understand new number is now 363844 
because this point was not mentioned in the email I receuived, and since 
email does not either contain URL, I did not think in forst place to 
visit bug page.

--
DEMAINE Benoit-Pierre (aka DoubleHP ) http://benoit.demaine.info/
\_o< If computing were an exact science,
IT engineers would not have work >o_/

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