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

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

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