On Tue, Oct 30, 2018 at 06:46:12PM -0500, Jacob Bachmeyer wrote: > This may help someone in the future who ends up wondering why > configure substitutes DEJAGNU.
Thanks; applied. Ben
signature.asc
Description: PGP signature
_______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
