hhvm/hhvm-third-party — pull request #30 by dcsommer (2014-09-02 21:17:24+00:00)
Title: remove unneeded include

This include isn't needed.