2018-08-14 - production
12:49	<moritzm>	upgrading wikidiff to 1.7.2 on snapshot hosts	[production]