2014-01-23 - production
00:56	<hasharMeeting>	integration.wikimedia.org and doc.wikimedia.org have been successfully migrated behind the misc varnish	[production]