2019-07-24 - production
20:12	<jeh>	redirecting dumps.wikimedia.org back to labstore1007.wikimedia.org T224228	[production]