IP address for sources.redhat.com/gcc.gnu.org changing again

[Christopher Faylor]

I've been asked if it is ok to move the system on either July 4 or July 5.
It's going to a new co-lo.

Any problems with some downtime, probably on July 5?

cgf