Merge branch 'vendor/MPFR'
authorJohn Marino <draco@marino.st>
Tue, 23 Apr 2013 20:35:58 +0000 (22:35 +0200)
committerJohn Marino <draco@marino.st>
Tue, 23 Apr 2013 20:35:58 +0000 (22:35 +0200)

Trivial merge