On Sun, Oct 28, 2018 at 07:52:55PM -0500, Jacob Bachmeyer wrote: > corrected patch: (also relative to commit > 81651abb04defb181f9c98bfcc55e077dcaea452)
Ugh, don't do that. :-) Just send patche against HEAD. Thanks, Ben _______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
