Hello, Gerald,
I created a new mirror in Hong Kong. Can you add it too?
+Hong Kong:
+ http://mirror-hk.koddos.net/gcc/";>http://mirror-hk.koddos.net/gcc/ |
+ rsync://mirror-hk.koddos.net/gcc/,
+ thanks to Martin (mir...@koddos.net) at KoDDoS.
Regards,
Martin
On Wed, 28 Feb 2018, KoDDoS Mir
On Wed, 28 Feb 2018, KoDDoS Mirror wrote:
> We added missing cronjob to update it. It should be updated in
> less than 6 hours.
Yep, it did. I just applied the patch below.
Thank you for mirroring and letting us know!
Gerald
Index: mirrors.html
===
Hello Gerald,
We added missing cronjob to update it. It should be updated in less than
6 hours.
Regards
Martin
Hi Martin,
On Mon, 6 Nov 2017, KoDDoS Mirror wrote:
The mirror is setup. Here is a patch as I do not have write access to
push it.
I was just going to commit the following patch
Hi Martin,
On Mon, 6 Nov 2017, KoDDoS Mirror wrote:
> The mirror is setup. Here is a patch as I do not have write access to
> push it.
I was just going to commit the following patch (sorry for the
delay), alas noticed your mirror does not seem to, umm, mirror?
The expectation is that you'll mir
Hello Gerald,
The mirror is setup. Here is a patch as I do not have write access to
push it.
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.246
diff -r1.246 mirrors.html
42a43,46
> The Netherlands, Dronten:
> href="http://mirror.koddos.net/gcc/";>http://mirror.koddos.
Hi Martin,
On Tue, 31 Oct 2017, KoDDoS Mirror wrote:
> We would like to create a new mirror for GCC in Dronten, Netherlands.
>
> Can you let us know how to process?
you can just ahead, and let us know (ideally with a patch against
http://gcc.gnu.org/mirrors.html ); that's all then. :-)
Cheers,
