Re: "Linux" in www.gnome.org/about

[Olav Vitters <olav bkor dhs org>]

On Mon, Sep 10, 2007 at 05:21:22PM -0400, Behdad Esfahbod wrote:
> This has been raised up multiple times.  Can we just replace "Linux"
> with "GNU/Linux" on the "What is GNOME?" page and be done with it?

It should be: "GNU/Linux (commonly referred to as Linux)"

This is IIRC what was previously agreed upon.

I'm not planning to change it though. I'd call it "Linux (sometimes
referred to as GNU/Linux)" and be done with it.
-- 
Regards,
Olav