Help stabilising mini-gmp

[Torbjörn Granlund]

nisse at lysator.liu.se (Niels Möller) writes:

  I just pushed an LD_LIBRARY_PATH improvement, we'll see if it reduces
  the number of failures.
  
We should see already tomorrow morning (altough it takes 6 days for all
configs to run without manual intervention).

There are currently 10 outstanding mini-gmp issues according to
<https://gmplib.org/devel/mini-gmp-status.html>, will be 9 if your
LD_LIBRARY_PATH change is effective.  Is it up-to-date?

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