2018-05-16 - production
07:18	<moritzm>	upgrading mw1240-mw1258 to HHVM 3,18.5+dfsg-1+wmf8+deb9u1	[production]