2008-12-08 - production
22:44	<RobH>	no.wikimedia.org is now functioning per https://bugzilla.wikimedia.org/show_bug.cgi?id=15383	[production]