[webkit-dev] Webkit.org server maintenance - 5-7pm PDT, Thu Sep 7, 2017

[Ling Ho]

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 admin at webkit.org if you have any question regarding the 
system maintenance.


Thanks,

Ling Ho
WebKit Operations

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20170906/6d2ec77c/attachment.html>