Bruno Félix Rezende Ribeiro <oitofe...@gnu.org> skribis: > From a strategical perspective, I fail to see why the distinction > between GNU/Linux-libre and GNU/Hurd could be of any relevance. IMHO, > calling both simply "GNU" would help in the promotion of the GNU > project and its ideals. That would not cause confusion, because GNU > would be defined as an operating system of multiple kernels, and > technical-inclined people would always know how to tell the difference > when needed or appropriate.
Agreed. Ludo’.
