Hi there, Due to the move from one office to a another, our network infra-structure here will be down for the next 3 or 4 days.
I won't be able to keep the github mirror in sync with git.webkit.orgduring this period, but it will be back to normality next Monday, May 6th. Best regards, Jesus
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev