Replies to message #18,511

>The version with Linux,we call “GNU/Linux.” It is OK to call it “GNU”when you want to be really short, but it is better to call it“GNU/Linux” so...