On Mon, 13 Apr 2015, Kevin Buckley wrote: > do you lot need any more information from me, or not ? It would be good if you could test the fix, once I have committed it (so in a few days, you can check if it is done at https://gmplib.org/repo/gmp/), by downloading a new snapshot and telling us if it works. -- Marc Glisse