Hi, I noticed that the github mirror at https://github.com/webkit/webkit is not getting the latest commits from WebKit (it is now about a month behind). Is that intentional?
Thanks, -- Adrien / PulkoMandy _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev