Am Dienstag, 15. Januar 2013 schrieb Ludovic Courtès: > So I’ll rename the (distro ...) modules to (gnu ...), because that’s > nicer and more meaningful (“a distro of the GNU system”).
Even though it contains non-gnu packages? For now, distro seems clearer to me. Andreas
