On Sat, Nov 24, 2018 at 06:51:05PM -0600, Jacob Bachmeyer wrote: > I am unsure how I missed this earlier.
Thanks; applied. I also took care of the config directory for you. Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu