Merge branch 'vendor/GMP'
authorJohn Marino <draco@marino.st>
Sat, 5 Nov 2011 21:30:30 +0000 (22:30 +0100)
committerJohn Marino <draco@marino.st>
Sat, 5 Nov 2011 21:30:30 +0000 (22:30 +0100)

Trivial merge