sourceware.org/gcc.gnu.org move status

[Joel Sherrill]

Hi,

sourceware.org which hosts a number of projects
including gcc.gnu.org moved this weekend.  The
move appears to be complete except for DNS
propagation.  This is from IRC

  everything working, except for gcc.gnu.org IP address change 
(workaround: 209.132.180.131 gcc.gnu.org in /etc/hosts)

I would expect shortly things to settle out at
the new location.

--joel