I’ll be taking down the webkit.org <http://webkit.org/> servers today to apply security patches. Please let me know if something does not come back online as expected. Estimated time offline will only be a few minutes per server.
Lucas
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev