Changes for GMP 6.1.2

[Niels Möller]

tg at gmplib.org (Torbjörn Granlund) writes:

> Whatever is safer.
>
> I think GMP isn't jealous, it can handle being less lazy than mini-gmp.

I think it will be easier for us to keep track if we copy head mini-gmp
(except the ChangeLog file which now needs special handling).

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.