Hi Jacob This all sounds pretty positive, but can you please move the discussion to the [email protected] list? This list is really just for bug reports.
Thanks, Ben _______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
