Subject: Re: bug#41914: closed (Re: bug#41914: [PATCH] Propagate return value of auto-loaded command)

From: Tom de Vries <[email-masked]>
Date: Thu, 18 Jun 2020 09:40:10 +0200

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 [email-masked].
> 

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

Thanks,
- Tom