I am sorry but I just see that I already submitted that bug 10 days ago ; see bug #242798 in pakage installation.
( I have very few memory, and I forgot what I do :/ ) -- DEMAINE Benoit-Pierre http://www.demaine.info PGP : A78E 3E69 1E44 8CF3 3F4E 8AEF 1964 932D B392 C3C2 There're 10 types of people: those who can count in binary and those who can't -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
