Can you please tell me if the patch is ok like it is now or if I should change anything?
Does it actually work? I recall that I tried it (might have been a older patch), and it didn't work for me. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd