Merge pull request #3 from davidrohr/v10 Port fix for compilation with CC7 GCC 4.8: https://gmplib.org/repo/gmp-6.2/rev/adcd8c8de72c
Merge pull request #3 from davidrohr/v10 Port fix for compilation with CC7 GCC 4.8: https://gmplib.org/repo/gmp-6.2/rev/adcd8c8de72c