Outdated libtool creates trouble on macOS

[Torbjörn Granlund]

FX Coudert <fxcoudert at gmail.com> writes:

  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?

Github is firewalled off in its entirety.  The firewall cannot inspect
packets to make more fine-grained decisions.  Encryption prevents that.

I have no grudge against github, but also don't have time for people or
organisations who create interruptions.  Implementing some access
restrictions in the web server (i.e., not in the firewall) is not worth
the added complexity.

(There is not company or organisations behind GMP.  I fund the
infrastructure from my salary, and I and three other volunteers keep
developing it.)


-- 
Torbjörn
Please encrypt, key id 0xC8601622