Subject: Re: bug#76446: [Patch Debbugs] Infrastructure Improvements
From: Michael Albinus <[email-masked]>
To: Maxim Cournoyer <[email-masked]>
Cc: [email-masked], Morgan Smith <[email-masked]>
Date: Fri, 07 Mar 2025 09:14:17 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Maxim Cournoyer <[email-masked]> writes:

> Hello,

Hi,

> Thanks for explaining; I also see this is standard behavior from ERT
> (info '(ert) Test Selectors)').
>
> Reviewed-by: Maxim Cournoyer <[email-masked]>

No further comment, so I've pushed the change of the Makefile. Debbugs
0.44 is released; I'm closing the bug.

> Thanks,
> Maxim

Best regards, Michael.