We have completed server maintenance works. Please email
ad...@webkit.org if you encounter any problem.
Thanks.
Ling Ho
WebKit Operations
On 9/6/17 12:55 PM, Ling Ho wrote:
Webkit.org server maintenance
5-7pm PDT, Thursday, Sep 7, 2017
We will be performing Security and OS updates on webkit.org servers
during the maintenance period.
Some of the servers will be rebooted during the process, and service
interruption is expected.
The following are the affected webkit.org hosts:
www.webkit.org (webkit.org)
trac.webkit.org
build.webkit.org
nightly.webkit.org
perf.webkit.org
planet.webkit.org
bugs.webkit.org
svn.webkit.org
git.webkit.org
Please email ad...@webkit.org if you have any question regarding the
system maintenance.
Thanks,
Ling Ho
WebKit Operations
_______________________________________________
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
