Hi Steve,

Thanks for the patch.  On the first pass, this looks right ..

Ben

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

Reply via email to