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 ad...@webkit.org if you encounter any issue with your build bots after the transition.
Thanks, ... ling _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev