Re: [webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Ling Ho
Hello, I'd like to apologize for the short notice this morning, and subsequent longer than expected downtime/interruptions. We think we figured out problems reported so far, and the server is good to go. There is a remaining issue with notification emails getting delayed in our mail server,

Re: [webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Chris Dumez
Any update? It’s been a few minutes :) --  Chris Dumez > On Mar 30, 2017, at 9:55 AM, Ling Ho wrote: > > Hello WebKit developers, > > We are flipping a switch to restart bugs.webkit.org on a new server between > 10-11am this morning. There should only be a few minutes

[webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Ling Ho
Hello WebKit developers, We are flipping a switch to restart bugs.webkit.org on a new server between 10-11am this morning. There should only be a few minutes of interruptions while DNS records are being changed. Please delay saving any change till we are back on the new server. Thanks, ...