2018-08-13 - production
12:53	<moritzm>	upgrading mw1261 servers to wikidiff 1.7.2 (T199801)	[production]