[wwwdocs PATCH] for Re: GCC mirror

[Gerald Pfeifer]

On Wed, 11 Jan 2012, NetGull Administrator wrote:
> I've just set up a new GCC mirror. Information is as follows:
> 
> URL: http://www.netgull.com/gcc/
> Frequency:        once a day
> Location:        San Jose, California, United States, North America
> Contact: admin@netgull.com
> 
> Please, add my GCC mirror to your mirror list;
> for any further clarification don't hesitate to contact me.

I just added your server, per the patch below.

Thanks for mirroring us and letting us know about it!

Gerald

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.214
diff -u -3 -p -r1.214 mirrors.html
--- mirrors.html	25 Oct 2011 17:46:07 -0000	1.214
+++ mirrors.html	15 Jan 2012 19:48:01 -0000
@@ -53,6 +53,7 @@ Key fingerprint = 33C2 35A3 4C46 AA3F FB
 <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, Phoenix: <a href="http://fileboar.com/gcc/">fileboar.com</a>, thanks to Grigory Rayskin (rayskin73 at gmail.com)</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>