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 <[email protected]>: > 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 > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev > _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
