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
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu