hhvm/hhvm-third-party — pull request #3 by tstarling (2014-05-08 23:07:20+00:00)
Title: Install headers

Must be applied after the associated hhvm commit https://github.com/facebook/hhvm/pull/2610