Hi Jason

> http://lists.gnu.org/archive/html/dejagnu/2002-10/msg00007.html
> Any chance this patch could get applied?

I take it things work fine when the patch is applied?

Cheers,
Ben

Attachment: signature.asc
Description: Digital signature

_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu

Reply via email to