"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

Reply via email to