2017-10-26 - production
08:14	<moritzm>	upgrade deployment servers to wikidiff2 1.5.1	[production]