"Alfred M. Szmidt" <[EMAIL PROTECTED]> writes: > 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.
It does for me. And if people don't tell me it does not work, I will assume it just works. Other people have tested it with success. If it does not work, *please* tell me. -- Marco _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd