>>>>> On Mon, 29 Aug 2022, Sam James wrote:

> Both for their respective Savannah instances:
> - https://savannah.gnu.org/
> - https://savannah.nongnu.org/

I think they should be called savannah and savannah-nongnu because gnu
isn't savannah. There are many GNU packages that are hosted elsewhere,
e.g. gcc, gdb, glibc, or binutils.

Ulrich

Attachment: signature.asc
Description: PGP signature

Reply via email to