2016-08-17 - production
09:37	<moritzm>	upgraded mw1017 to HHVM 3.12.7 (plus patches)	[production]