Thanks for the heads up. I’m starting an investigation now. Lucas > On Jun 20, 2016, at 2:05 AM, Adam Bergkvist <adam.bergkv...@ericsson.com> > wrote: > > Hi > > Git access to the repo seem to be stuck at > 705033b054017f33b94adacc3b5e7747aebb45ef (June 18)? > > The unofficial github mirror has the same status [1]. > > /Adam > > [1] https://github.com/WebKit/webkit/commits/master > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev