On Sun, May 27, 2012 at 09:57:14 +0200, [email protected] wrote: > Anyway, the following workaround may solve the problem: > > http://gmplib.org:8000/gmp-5.0/rev/ffdad0cda019 > Thanks, much appreciated.
Cheers, Julien -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
