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