2017-10-16 - production
13:44	<moritzm>	upgrading deployment-mediawiki04 to wikidiff2 1.5.1	[production]