* src/mini-gmp.c: Sync from upstream. This incorporates: 2019-08-13 Silence a couple of warnings
Attach a file by drag & drop or click to upload
