Help stabilising mini-gmp

[Torbjörn Granlund]

tg at gmplib.org (Torbjörn Granlund) writes:

  There is now some inconsistencies between the reporting status and the
  expected_* files.  This is evidenced by green lines in the expected
  section of e.g., <https://gmplib.org/devel/tm/gmp/date.html>.
  
I spotted the problem.  The <del> </del> is for the html file
(devel/mini-gmp-status.html).  The expected files are plain text files
matching build reporting files, no html going on there.

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