The current description at lists.debian.org is "Kernels used with Debian
(Linux, Hurd, etc.), ..."

FreeBSD and Hurd kernels are discussed on the respective port lists.
Please correct the description to refer to the Linux kernel only.

Ben.

-- 
Ben Hutchings
73.46% of all statistics are made up.

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to