Changes to mini-gmp and 5.1.2

[Torbjorn Granlund]

Should we move any of the mini-gmp changes to 5.1.2?

-- 
Torbjörn
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel