[webkit-dev] Github repository not being updated

[Vivek Galatage]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20130216/cc499ff4/attachment.html>