[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Default substitute URLs

From: Andreas Enge
Subject: Re: Default substitute URLs
Date: Fri, 15 Jul 2016 17:07:09 +0200
User-agent: Mutt/1.6.1 (2016-04-27)

On Fri, Jul 15, 2016 at 04:10:40PM +0200, Ludovic Courtès wrote:
> Having several URLs pointing to the same server would be similarly
> inefficient.

Indeed. So we could modify this again if we ever have distinct mirror
machines, not just distinct names.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]