Thom May <thom@debian.org> writes: > A name which most non-Debian users may not be particular aware of. The > release uses "GNU/Linux" every time it mentions Debian so we're not > changing anything there. And you think they are going to be confused? -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org