You should know this list is about the Debian GNU/Hurd port, not
   GNU in general.

Then you should also know that saying "GNU/Hurd" means GNU/Hurd in
general, not just Debian GNU/Hurd.


Reply via email to