Your message dated Sun, 09 Mar 2025 10:38:55 +0200
with message-id <86zfhuha3k.fsf@gnu.org>
and subject line Re: bug#11218: with-demoted-errors use of condition-case-unless-debug; ert
has caused the debbugs.gnu.org bug report #11218,
regarding with-demoted-errors use of condition-case-unless-debug; ert
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
11218: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=11218
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems