2017-10-26 - production
08:34	<moritzm>	uploaded php-wikidiff2/hhvm-wikidiff2 1.5.1 for stretch-wikimedia	[production]