mini-gmp.h FILE test update from gmp.h

[Marco Bodrato]

Ciao,

Il 2020-09-16 14:35 Vincent Lefevre ha scritto:
> In mini-gmp/mini-gmp.h, concerning FILE tests:
> 
> /* This long list taken from gmp.h. */
> 
> but the list in GMP 6.2.0 and the current repository is not up-to-date.

I re-synced the lists, thanks!

Ĝis,
m