|
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:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |