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.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 needed. > > If in the meanwhile nothing new will arise, I prepare the files for the > release of the 6.2.1 version of the library. > > Ĝis, > m > _______________________________________________ > gmp-devel mailing list > gmp-devel@gmplib.org > https://gmplib.org/mailman/listinfo/gmp-devel _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
