Your message dated Thu, 02 Mar 2023 21:54:55 +0100
with message-id <87y1oe3mcg.fsf_-_@gnu.org>
and subject line Re: bug#61873: [PATCH core-updates] gnu: libgc: Update to 8.2.2 and remove '--disable-munmap'.
has caused the debbugs.gnu.org bug report #61873,
regarding [PATCH core-updates] gnu: libgc: Update to 8.2.2 and remove '--disable-munmap'.
to be marked as done.

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


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