bug-dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#41585: Patch submitted on temporary branch PR41585


From: Jacob Bachmeyer
Subject: bug#41585: Patch submitted on temporary branch PR41585
Date: Thu, 28 May 2020 18:42:27 -0500
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

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






reply via email to

[Prev in Thread] Current Thread [Next in Thread]