2017-10-25 - production
12:12	<moritzm>	upgrade mw1266-mw1275 to wikidiff2 1.5.1	[production]