2012-05-17 - production
15:30	<Jeff_Green>	adding DNS records to wikimedia.org for RT #2960	[production]