Re: [webkit-dev] DNS issues with webkit.org

2017-02-24 Thread Lucas Forschler
Things should be back online now. Please let me know if you run into any problems. Lucas > On Feb 24, 2017, at 3:59 PM, Lucas Forschler wrote: > > Hello folks, > > We are having a DNS issue with many webkit.org domains. Engineers are > investigating, and we hope to be

[webkit-dev] DNS issues with webkit.org

2017-02-24 Thread Lucas Forschler
Hello folks, We are having a DNS issue with many webkit.org domains. Engineers are investigating, and we hope to be back online as quickly as possible. Lucas ___ webkit-dev mailing list webkit-dev@lists.webkit.org