Public Git Hosting - hiphop-php.git/commit

commit	40ee1b2d871ea00a3d2d85306ab4f78aa51c0db7
author	Katie Ots <kjo@fb.com>
	Tue, 30 Jun 2020 12:11:12 +0000 (30 05:11 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Wed, 1 Jul 2020 01:55:34 +0000 (30 18:55 -0700)
tree	0056c06e04afa50b570536c0cbbcc4183ef2da88	tree \| snapshot (tar.gz zip)
parent	ba22f713661cdd6302a4ca65b5ac291c68a9f0a5	commit \| diff

Allow symbol info indexing to empty existing dir

Reviewed By: simonmar

Differential Revision: D22287884

fbshipit-source-id: f80ff5cc26d35c6ea97be79e257a7cae650b3ea4