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

Reply via email to