2013-05-17 - production
19:54	<mutante>	Wikimedia IRC server working again	[production]