facebook/hhvm — pull request #3343 by MaideCa (2014-08-01 19:11:36+00:00)
Title: Fix GMP test

This didn't make it into the last pull; sorry!