2010-07-07 - production
07:50 <Rob> updated dns for wikimania wiki [production]