Public Git Hosting - hiphop-php.git/commit

commit	eab40dcf447fe4063cccf7434e6907a7a1aa41d6
author	Vassil Mladenov <vmladenov@fb.com>
	Tue, 23 Oct 2018 09:46:32 +0000 (23 02:46 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Tue, 23 Oct 2018 09:48:47 +0000 (23 02:48 -0700)
tree	384d17f2a29e4a102892f010c998e9791fed10bc	tree \| snapshot (tar.gz zip)
parent	c1ac9431861d5e2333c50c4771e96f46e1a3f915	commit \| diff

Fix build error

Reviewed By: oulgen

Differential Revision: D10504774

fbshipit-source-id: f7ed57858aeab0659fc3c70c95a29b729b465e57