On Tue, Nov 13, 2018 at 10:18:35PM -0600, Jacob Bachmeyer wrote: > This is starting to look more useful than my original proposal.
Agreed. Please work up a patch and post it. Including documentation changes would be particularly welcome. Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
