Your message dated Mon, 18 Dec 2023 04:01:11 +0100
with message-id <018590f364e74c827a5d3f667d00d587417b307c.camel@gmail.com>
and subject line Re: [PATCH v5 01/15] build-system: Add mix-build-system.
has caused the debbugs.gnu.org bug report #66801,
regarding [PATCH] mix-build-system: draft 1
to be marked as done.

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


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