Public Git Hosting - hiphop-php.git/commit

commit	03421a4baa543598377ed321faa2bedaf36ebb30
author	Mike Qian <mqian@fb.com>
	Thu, 1 Feb 2018 08:14:10 +0000 (1 00:14 -0800)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Thu, 1 Feb 2018 08:34:37 +0000 (1 00:34 -0800)
tree	ca1b687b37139b49be3d7943163019e93c0903bc	tree \| snapshot (tar.gz zip)
parent	42f02ff2c354692090a84802e15af104bfd06117	commit \| diff

Fix nit about possibly unused string

Reviewed By: dlreeves

Differential Revision: D6851025

fbshipit-source-id: 6c4223ceacc0a05b69f1c1b80a4feaa7def688bb