> I think that this patch will solve your problem: I have committed this. -- To UNSUBSCRIBE, email to debian-hurd-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org