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

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

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, ...

Re: [webkit-dev] Carlos Alberto Lopez Perez is now a WebKit Reviewer

On 30/03/17 19:10, Mark Lam wrote: > Hi folks, > > I just want to announce that Carlos Alberto Lopez Perez (clopez on > #webkit) is now a WebKit Reviewer. Carlos has been contributing on the > WebKitGTK+ port and has expertise on tools and build/test > infrastructure. Please join me in

[webkit-dev] Carlos Alberto Lopez Perez is now a WebKit Reviewer

Hi folks, I just want to announce that Carlos Alberto Lopez Perez (clopez on #webkit) is now a WebKit Reviewer. Carlos has been contributing on the WebKitGTK+ port and has expertise on tools and build/test infrastructure. Please join me in congratulating Carlos, and send him some patches to

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,