Update embedded mini-gmp to version 6.2.0 (#9396)
authorMaksim <MoNTE48@mail.ua>
Fri, 14 Feb 2020 19:36:41 +0000 (20:36 +0100)
committerGitHub <noreply@github.com>
Fri, 14 Feb 2020 19:36:41 +0000 (20:36 +0100)
commit71899e11d2cf4674eb8b543905cf4f2df8a8339c
tree87251b8f5f709eb8b8dae6ec141dc0c736d88b93
parentff769e7df592e3dd5e94ff2ab2ad3bd7cb313f21
Update embedded mini-gmp to version 6.2.0 (#9396)
lib/gmp/mini-gmp.c
lib/gmp/mini-gmp.h