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