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
