bug#41587: Patch applied; closing report

Jacob Bachmeyer <[email protected]> Tue, 30 Jun 2020 23:45:18 -0500

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<[email protected]>

Fix landed on master at commit d37c15b4d569a3d70493653efe82a78c3550e903 
on 2020-05-28.



_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu