Testing and feedback, as always, would be gratly appreciated! Dunno what kind of feeback you want, the patch looks OK.
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
