[Mageia-dev] Freeze push: gmp

[Dimitri]

Please push GMP 5.1.1. It's a bugfix release, see
http://gmplib.org/list-archives/gmp-announce/2013-February/000038.html

Thanks!
Mitya