On Sun, Dec 25, 2016 at 12:51:14AM +0100, David Craven wrote: > Please change to the GNU distribution. Or alternatively if you are > going to say a GNU distribution provide a link to or an explanation of > what it means. Calling it a GNU distribution implies that there are > more than one, please provide an example of another GNU distribution. > A google search for GNU distribution doesn't turn up any results. > Please also remove it from the list of GNU/Linux distributions here: > https://www.gnu.org/distros/free-distros.en.html
FYI, this suggestion was discussed previously: http://lists.gnu.org/archive/html/gnu-system-discuss/2014-12/msg00094.html >From that thread, specifically: http://lists.gnu.org/archive/html/gnu-system-discuss/2015-01/msg00015.html And related discussion on guix-devel: https://lists.gnu.org/archive/html/guix-devel/2015-01/msg00047.html
