1. 2020-09-17 Re: mini-gmp.h FILE test update from gmp.h gmp-bugs Marco Bodrato 2. 2020-09-16 mini-gmp.h FILE test update from gmp.h gmp-bugs Vincent Lefevre