Hi, just pointing out that Samuel's latest patch (in http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=285857&msg=29) appears to work fine for the Debian GNU/Hurd port. I have tested it for a couple of weeks now and have not observed any issues. cheers, Michael