[wwwdocs] PATCH for Re: Change in mirror setup

On Fri, 6 May 2016, NOC wrote: > We have changed our mirror server setup. > > Could you please update the mirror list and replace: > > France, Gravelines: http://mirror0.babylon.network/gcc/ | > ftp://mirror0.babylon.network/gcc/ | > rsync://mirror0.babylon.network/gcc/, thanks to Tim Semeijn >

[wwwdocs] PATCH for Re: Change in mirror setup

On Fri, 6 May 2016, NOC wrote: > We have changed our mirror server setup. > > Could you please update the mirror list and replace: > > France, Gravelines: http://mirror0.babylon.network/gcc/ | > ftp://mirror0.babylon.network/gcc/ | > rsync://mirror0.babylon.network/gcc/, thanks to Tim Semeijn >