2010-07-23 - production
01:59	<Rob>	pushing dns update to fix pointer for bugs.wikimedia.org	[production]