[webkit-dev] *.webkit.org is down

[Alexis Menard]

Hi,

It seems that *.webkit.org are down (bugs.webkit.org, trace.webkit.org, …).

Here in Brazil we can't access to any of them. I tried two different internet providers with their own DNS and I even tried google DNS with no luck.

Talking to some people in #webkit it seems that not everyone is affected (maybe only people outside US?).

Anyone who knows where the servers sits would mind to have a look at them?

Thank you very much.