I think it is time for a 5.1.2 release, since we've found and fixed a couple of bugs since the last release.
I am redirecting the nightly build scripts to use the 5.1 repo. The main repository will thus be untested for a while. Unless I hear protests, I'll make the new release towards the end of this week. -- Torbjörn _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org http://gmplib.org/mailman/listinfo/gmp-devel
