Web Page

[Nathanael Nerode]

>Several other people are seeing this; it's believed to be a DNS issue;
>the IP address of the system has changed.  67.72.78.213 appears to be
>the new correct IP number.
Unfortunately, if you refer to the machine by number in a web browser, 
you get sources.redhat.com.  I finally dealt with this by putting

67.72.78.213	gcc.gnu.org

into my /etc/hosts file.  Hopefully the IP will propagate soon. :-P

-- 
Nathanael Nerode  <neroden at gcc.gnu.org>
http://home.twcny.rr.com/nerode/neroden/fdl.html