bug#41585: Patch submitted on temporary branch PR41585
Jacob Bachmeyer <[email protected]> Thu, 28 May 2020 18:42:27 -0500
| Newsgroups | gmane.comp.sysutils.dejagnu.bugs |
|---|---|
| Message-ID | <[email protected]> |
Please review, merge, and delete the PR41585 branch. It contains two commits. Commit 10191e1d8d56dae0999fe8d1438fd04537249f41 fixes the problem, while commit 9533507ea4ad9addd4b593bcf1004496f4b22da4 is a housekeeping patch that tidies some irregular indentation in the ChangeLog. -- Jacob _______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu