[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH Web] sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu}.org
|
From: |
Samuel Thibault |
|
Subject: |
Re: [PATCH Web] sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu}.org |
|
Date: |
Sun, 3 Nov 2024 14:58:34 +0100 |
Hello,
crupest, le sam. 02 nov. 2024 21:58:44 +0800, a ecrit:
> This a very trivial change. The former is just an alias of latter.
> But for new users and contributors like me, it sometimes confuses
> them what the difference is between the two ones. Is one old and the
> other new?
No, sv is just a shortcut.
> Or something confusing else. So this patch helps them
> save some time.
Ok, why not, applied, thanks!
Samuel