It looks like this site does not mirror gcc.gnu.org any more, so I am thusly removing it from the GCC mirrors list.
Gerald Index: mirrors.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v retrieving revision 1.219 diff -u -3 -p -r1.219 mirrors.html --- mirrors.html 1 Nov 2012 21:46:24 -0000 1.219 +++ mirrors.html 30 Mar 2013 20:34:27 -0000 @@ -36,7 +36,6 @@ mirrors</a>. The following sites mirror <li>UK, London: <a href="http://gcc-uk.internet.bs";>http://gcc-uk.internet.bs</a>, thanks to Internet.bs (info at internet.bs)</li> <li>US, Saint Louis: <a href="http://gcc.petsads.us";>http://gcc.petsads.us</a>, thanks to Sergey Kutserey (s.kutserey at gmail.com)</li> <li>US, San Jose: <a href="http://www.netgull.com/gcc/";>http://www.netgull.com</a>, thanks to admin at netgull.com</li> -<li>US, Tampa: <a href="http://mirrors-us.seosue.com/gcc/";>http://mirrors-us.seosue.com/gcc/</a>, thanks to Peter Vrzak (petervrzak at gmail.com)</li> </ul> <p>The archives there will be signed by one of the following GnuPG keys:</p>
