Hello WebKit developers,We are flipping a switch to restart bugs.webkit.org on a new server between 10-11am this morning. There should only be a few minutes of interruptions while DNS records are being changed. Please delay saving any change till we are back on the new server.
Thanks, ... ling _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
