Pull gmp-api by branch name
Merge pull request #1137 from ethanhugg/gmpapi-bybranch32

Pull gmp-api by branch name