Re: [webkit-dev] WebKit servers transitioning to new hardware

2017-03-22 Thread Lucas Forschler
This should be working now (even though we have not yet transitioned svn.webkit.org ) (I see an update from March 20th) Lucas > On Mar 21, 2017, at 8:10 AM, Lucas Forschler wrote: > > Thanks Manuel! > > It looks like there is a network ACL problem preventing the update

Re: [webkit-dev] WebKit servers transitioning to new hardware

2017-03-21 Thread Lucas Forschler
Thanks Manuel! It looks like there is a network ACL problem preventing the update from succeeding. I will investigate a fix, however this should resolve itself once svn.webkit.org transitions to the new server. Lucas > On Mar 21, 2017, at 7:29 AM, Manuel Rego Casasnovas

Re: [webkit-dev] WebKit servers transitioning to new hardware

2017-03-21 Thread Manuel Rego Casasnovas
Hi, Dunno if it was related to this or something else but planet.webkit.org is not being updated since March 10, 2017. Thanks, Rego ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev