2018-05-16 - production
09:25	<moritzm>	upgrading video scalers to HHVM 3,18.5+dfsg-1+wmf8+deb9u1	[production]