Well, if RMS prefers "Debian GNU/Hurd", then I have no objection to
the name.


Reply via email to