Re: Toward releasing GMP 6.2.1

2020-10-15 Thread Emmanuel Thomé
Hi, I think that this documentation change has never triggered any sort of decision on whether it goes in or not. https://gmplib.org/list-archives/gmp-devel/2019-January/005182.html E. On Thu, Oct 15, 2020 at 07:14:51AM +0200, Marco Bodrato wrote: > Ciao, > > we are not changing much the gmp-6

Toward releasing GMP 6.2.1

2020-10-14 Thread Marco Bodrato
Ciao, we are not changing much the gmp-6.2 branch, and we should release. Is there something important we are missing as a bug fix? I just updated the two files configfsf.{guess,sub}, and we need some testing to check that nothing is broken on the systems we support/test. A week or so will be