[webkit-dev] gap in github WebKit mirror?

Simon Hausmann simon.hausmann at digia.com
Mon Apr 8 07:12:10 PDT 2013


I'm a bit puzzled as I look at my local clone of 
https://github.com/WebKit/webkit.git to see that the commits between r147257 
and r147260 appear to be missing. The web interface appears to indicate that 
this is also the case on github itself.

Does anyone know what could cause this?


More information about the webkit-dev mailing list