Hi Marc, > Sorry about that. I knew there were problems with old autotools and quickly > tried updating them before the release, but that caused too many problems.
What are the problems? Our workaround is to rerun the latest autoreconf, and it emits a lot of warnings, but it does not create trouble. What are the symptoms you are seeing? > If a pro of autotools wants to give a hand… Can help if you let me know what you need. One other question: our Linux builder, which is running from Github Actions, fails to download from gmplib.org I thought only the mercurial repo was firewalled, is that not the case? Best, FX _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs