Looks like the problem (for me at least) is with Google's DNS servers - 8.8.8.8 and 8.8.4.4.
OpenDNS and co. work fine. On Tuesday 03 July 2012 20:37:30 Robert Hogan wrote: > This has started happening again I think. As of 8.30pm GMT Monday > evening. > > On Sunday 01 July 2012 15:34:36 William Siegrist wrote: > > 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@lists.webkit.org > > > http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev > > > > _______________________________________________ > > webkit-dev mailing list > > webkit-dev@lists.webkit.org > > http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev > > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev