Help stabilising mini-gmp

[Torbjörn Granlund]

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

  I tried to mark the mini-gmp t-limbs section with <del>, but saving my
  changes from emacs failed, 
  
My bad, please try now.

  > If you check in a fix for any of these problems, please strike the
  > entire item by using <del>...</del>.  Please also clean up the
  > ~gmp/gmp/check/failure report files.
  
  How, more precisely? Just delete the corresponding files? E.g,
  
    shell.gmplib.org-dyn-gcc49-g++49:64.txt
    shell.gmplib.org-dyn-gcc49-g++49:64.txt.gz
  
Yes, if permission allows it.  :-)

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