Public Git Hosting - hiphop-php.git/commit

commit	d4757315ef721364eb576db941292d19baf25d2f
author	Catherine Gasnier <catg@fb.com>
	Tue, 13 Oct 2020 09:14:47 +0000 (13 02:14 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 13 Oct 2020 09:16:59 +0000 (13 02:16 -0700)
tree	b9f0a36ffcc0a9ed1d1905e22d40951f16e6adc0	tree \| snapshot (tar.gz zip)
parent	bc4cb9847c1de79d153821c42f4e8d04d4b4f58f	commit \| diff

fix logging of per file typing times

Reviewed By: ljw1004

Differential Revision: D24249196

fbshipit-source-id: a2a13dc1722746fcb2ec195fca9a48b523f1538b