Your message dated Thu, 13 Feb 2025 16:38:24 +0000
with message-id <4ce796efa2454d888dcde64c91a5fe70@mdc-berlin.de>
and subject line Closing this issue
has caused the debbugs.gnu.org bug report #76201,
regarding [PATCH] Bump revision to fix a bug with unintended removal of NEWS line from previous PR
to be marked as done.

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


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