|
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. Andreas
[Prev in Thread] | Current Thread | [Next in Thread] |