Re: [Mageia-dev] Freeze push: gmp 5.1.0

[Dimitri]

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
> 
> Thanks! Dimitri
>