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

[Ling Ho]

We have completed server maintenance works. Please email 
admin at 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 admin at webkit.org if you have any question regarding the 
> system maintenance.
>
>
> Thanks,
>
> Ling Ho
> WebKit Operations
>
>
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

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