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

Reply via email to