[wwwdocs] PATCH for Re: Change in mirror setup

2016-05-08 Thread Gerald Pfeifer
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 > (

Change in mirror setup

2016-05-05 Thread NOC
Dear, 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 (noc@babylon.network) at Babylon Network.