2014-07-23 - releng
15:34	<bd808>	Reverted hhvm to 3.1+20140630-1+wm1 on deployment-mediawiki02	[releng]