[Mitigated] Codeplex experiencing name resolution issues

[Update @ 4/11/2014, 12:30 PST] 

We believe we've isolated the issue to a specific name resolution server - the issue has been isolated and mitigated, and you should now see full mitigation.

--

Hi all,

We're aware of an issue where roslyn.codeplex.com may fail to resolve. We're actively working on it, and will provide updates via this blog post.

Thanks!
The MSDN Service Delivery Team