Your message dated Sat, 6 Jan 2024 15:34:07 +0000
with message-id <8f5a4d0c-4cd7-02ae-e48a-e2a8fa71e3e6@draigBrady.com>
and subject line Re: bug#68267: [PATCH] maint: add attributes to two functions without side effects
has caused the debbugs.gnu.org bug report #68267,
regarding [PATCH] maint: add attributes to two functions without side effects
to be marked as done.

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


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