[webkit-dev] is DNS for webkit.org down?

[William Siegrist]

There was a network issue that has since been resolved. If you're still having trouble, please let me know. 

-Bill



On Jun 30, 2012, at 8:17 PM, Dirk Pranke wrote:

> Hi all,
> 
> It seems like DNS for webkit.org is down ... I can still get to
> build.webkit.org, but everything else is timing out?
> 
> -- Dirk
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev