Your message dated Wed, 31 Jul 2024 19:44:26 +0200
with message-id <87h6c5ihhh.fsf@gnu.org>
and subject line Re: bug#72313: 31.0.50; Warning about cl-member possibly being undefined when using cl-pushnew
has caused the debbugs.gnu.org bug report #72313,
regarding 31.0.50; Warning about cl-member possibly being undefined when using cl-pushnew
to be marked as done.

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


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