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 -- To UNSUBSCRIBE, email to debian-www-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/cajr5ph2dcy1j7hnktzjwkqr38evoktdjgdkjwcnvqsvc3ku...@mail.gmail.com
