If you work up a patch for DejaGnu, I think this is the right place to fix it.
Thanks, Ben
signature.asc
Description: Digital signature
_______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
