Re: Preparing GMP 5.1.2

2013-05-16 Thread Marc Glisse
On Thu, 16 May 2013, Torbjorn Granlund wrote: Marc Glisse marc.gli...@inria.fr writes: I will not make the release until you have the time to address this. Hopefully I am done. Since they have been on the main branch for a while, I don't expect any new issues. Thanks. Should we mention

Re: Preparing GMP 5.1.2

2013-05-14 Thread Marc Glisse
On Mon, 13 May 2013, Torbjorn Granlund wrote: Marc Glisse marc.gli...@inria.fr writes: I need to backport a couple changes that I made soon after 5.1 branched, I'll try to do that soon... Sorry, I had missed that. My fault for being so slow to backport them. Some of them were waiting for

Preparing GMP 5.1.2

2013-05-13 Thread Torbjorn Granlund
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

Re: Preparing GMP 5.1.2

2013-05-13 Thread Marc Glisse
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

Re: Preparing GMP 5.1.2

2013-05-13 Thread Torbjorn Granlund
Marc Glisse marc.gli...@inria.fr writes: I need to backport a couple changes that I made soon after 5.1 branched, I'll try to do that soon... Sorry, I had missed that. I will not make the release until you have the time to address this. -- Torbjörn