The machine which hosts gcc.gnu.org will go down on July 5 so that it can be moved to a new co-location facility. I haven't been given specific times, but I wanted to give everyone a heads-up! jeff