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: Rob Savoye
Subject: bug#41585: Patch submitted on temporary branch PR41585
Date: Thu, 28 May 2020 19:49:24 -0600
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0

On 5/28/20 5:42 PM, Jacob Bachmeyer wrote:
> 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.

  Ah, the indention came from me using vi instead of emacs. It's much
easier to deal with branches than patches. :-) That fixed stats.exp.

        - rob -





reply via email to

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