Steve Langasek <vorlon@netexpress.net> writes: > That means the push for a /hurd directory boils down to user convenience > (i.e., shorter path name). I can understand that. That's one reason; I hesitate to say or imply that it's the only one. -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org