Preparing GMP 5.1.2

[Marc Glisse]

On Mon, 13 May 2013, Torbjorn Granlund wrote:

> Marc Glisse <marc.glisse at 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 
improved versions based on discussions back then, but they are still 
better than nothing.

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

-- 
Marc Glisse