On Tue, Dec 04, 2018 at 12:55:01AM -0600, Jacob Bachmeyer wrote: > Here is a separate patch for the NEWS file:
Applied, thanks! Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
