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