2017-10-16 - production
13:50	<moritzm>	upgrading deployment-mediawiki0[56] to wikidiff2 1.5.1	[production]