Le 29/03/2013 23:37, Dimitri a écrit : > Please push mpfr-3.1.2. It's a bugfix release, see > http://www.mpfr.org/mpfr-current/#changes Done. -- BOFH excuse #234: Someone is broadcasting pygmy packets and the router doesn't know how to deal with them.