Michael Englehorn michael at englehorn.com
Tue Oct 10 06:28:39 CEST 2017

On 2017-10-09 21:06, Robert J. Hansen wrote:
> A request has been made that each instance of "Linux" in the FAQ be
> replaced with "GNU/Linux".

I think it's redundant, besides, what if I were to replace all of the 
userland utilities with my own, or some other non-gnu userland? It would 
still be Linux, and Gnupg would continue working (provided the new 
userland could compile it). ;)

Also, I don't think "GNU/Linux" is a trademark of Linus. Linux is more 
generic and possibly more correct than GNU/Linux.

| Michael Englehorn | michael at englehorn.com                              
| Twitter           | K0HAX                                              
| Github            | https://github.com/K0HAX                           
| GPG Fingerprint   | CC10 C6F7 517C C64C FC4B  A9D9 7502 F475 E7B6 CCB9 

More information about the Gnupg-users mailing list