[webkit-dev] Github repository not being updated

[Jesus Sanchez-Palencia]

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.

cheers,
jesus

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,
> Vivek
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev
>