-Rasmus
We will switch cvs.php.net over to a new and much faster machine today
sometime around Sunday Dec.11 04:00 - 05:00 UTC. That's between 10pm
and 11pm Eastern for the US folks. There will be some downtime and some
DNS lag. The new machine is at 66.163.161.116 (y1.php.net) so you can
stick that in yours hosts file while you are waiting for your DNS to
catch up.
