Your message dated Sat, 27 Jul 2024 19:28:27 +0200
with message-id <65f1753857a6181cfcaf1c44924cd4bfba400fd5.camel@gmail.com>
and subject line Re: [PATCH v4 5/5] gnu: klee-uclibc: Only build on x86_64 Linux.
has caused the debbugs.gnu.org bug report #72106,
regarding [PATCH 0/3] gnu: klee: Enable test suite
to be marked as done.

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


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