2015-09-01 - production
16:12	<robh>	policy.wikimedia.org dns change happening now	[production]