Preparing GMP 5.1.2

Marc Glisse marc.glisse at
Mon May 13 15:13:15 CEST 2013

On Mon, 13 May 2013, Torbjorn Granlund wrote:

> 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.

I need to backport a couple changes that I made soon after 5.1 branched, 
I'll try to do that soon...

Marc Glisse

More information about the gmp-devel mailing list