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 back online as quickly as possible.
>
> Lucas
>
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev