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

2017-09-07 Thread Ling Ho
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-dev] Webkit.org server maintenance - 5-7pm PDT, Thu Sep 7, 2017

2017-09-06 Thread 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