2017-10-18 - production
13:05	<moritzm>	uploaded wikidiff2 1.5.1 to apt.wikimedia.org	[production]