Re:Debian GNU/Hurd 2019 Released
by gnulinux on Sunday July 07, 2019 @06:17PM
(#20378328)
I mean "GNU/Linux" is supposed to mean "GNU with Linux" i.e. GNU userspace with Linux kernel. GNU/GNU makes some sense but clearly is redundant. It's just GNU as in GNU userspace and kernel.
[ Parent
| on HN ]