some php.net maintenance this weekend.

i'll be shifting around some of the php.net services this weekend (particularly handling of @php.net mail addresses, and bugs.php.net), so don't be alarmed if you're unable to reach some of the php.net sites for a few hours while the dns switches over. (in theory, there won't be any interruption in php.net mail, and i'll try to avoid it for the web services, too. but theory and practice don't always march to the same drummer. :) the mailing lists and cvs shouldn't be impacted at all. jim