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