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 <http://svn.webkit.org/> transitions to the new server. Lucas
> On Mar 21, 2017, at 7:29 AM, Manuel Rego Casasnovas <[email protected]> wrote: > > 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 > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev

