hhvm/hhvm-third-party — pull request #20 by dcsommer (2014-07-16 16:17:26+00:00)
Title: Add back missing file and include

This file was erroneously removed.