[Top][All Lists]

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

bug#41914: closed (Re: bug#41914: [PATCH] Propagate return value of auto

From: Jacob Bachmeyer
Subject: bug#41914: closed (Re: bug#41914: [PATCH] Propagate return value of auto-loaded command)
Date: Thu, 18 Jun 2020 16:50:30 -0500
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20090807 MultiZilla/ SeaMonkey/1.1.17 Mnenhy/

Tom de Vries wrote:
On 6/18/20 1:20 AM, GNU bug Tracking System wrote:
Your bug report

#41914: [PATCH] Propagate return value of auto-loaded command

which was filed against the dejagnu package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 41914@debbugs.gnu.org.

AFAICT, no fix was committed to master. So, I'm not sure I understand
why this bug was closed.

It was closed because a fix had been rolled into the fix for #41824. Linus' Law applied here: we both found the same bug and actually fixed it the same way. I merged the comment and ChangeLog entry from your patch into the temporary "PR41824" branch.

Is there a better way to record this circumstance in debbugs than closing the second bug?

-- Jacob

reply via email to

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