Le 01/02/2013 20:17, Dimitri a écrit :
ping?Please push GNU MP 5.1.0. It's bugfix and speedup release, source and binary compatible with 5.0 series: http://gmplib.org/gmp5.1.html
Done. BTW, top-posting is considered lame practice among us 1337 h4><3rz... -- BOFH excuse #340: Well fix that in the next (upgrade, update, patch release, service pack).
