Merge branch 'vendor/GMP'
authorJohn Marino <draco@marino.st>
Sat, 12 May 2012 10:57:51 +0000 (12:57 +0200)
committerJohn Marino <draco@marino.st>
Sat, 12 May 2012 10:57:51 +0000 (12:57 +0200)

Trivial merge