Bug#585033: www.debian.org: intro/about improperly mentions the Hurd as the 'primary' non-Linux kernel
Package: www.debian.org
Severity: normal
Here's the current text (http://www.debian.org/intro/about.en.html):
---
Debian systems currently use the Linux kernel or the FreeBSD kernel.
Linux is a piece of software started by Linus Torvalds and supported
by thousands of programmers worldwide. FreeBSD is an operating system
including a kernel and other software.
However, work is in progress to provide Debian for other kernels,
primarily for the Hurd. The Hurd is a collection of servers that run
on top of a microkernel (such as Mach) to implement different
features. The Hurd is free software produced by the GNU project.
---
I think the current text includes the petition so this bug report can be closed.
Regards
Laura Arjona
Reply to: