Hello WebKit developers:We are continuing our transitioning of webkit.org servers today and tomorrow. Between 3pm and 4pm Pacific, we will be moving build.webkit.org. Please email us at [email protected] if you encounter any issue with your build bots after the transition.
Thanks, ... ling _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
