[webkit-dev] Github repository not being updated
jesus at webkit.org
Mon Feb 18 09:33:32 PST 2013
Fixed a few hours ago.
During my holidays last week there was a network failure problem,
followed by one of those vcproj files becoming "dirty" and not
allowing the mirror to update itself.
Sorry of the inconvenience.
2013/2/16 Vivek Galatage <vivekg at webkit.org>:
> Hello Webkit-dev,
> I am using the github repository https://github.com/webkit/webkit but since
> the rev 142863 its not been updated. i.e. since 3 days.
> So wanted to see if someone who is maintaining this repo can look into this
> and fix if possible.
> Many thanks,
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
More information about the webkit-dev