2014-09-09 - production
11:29	<_joe_>	git.wikimedia.org works now, no action needed	[production]