Subject: Re: [PATCH] gnu: Add KLEE.
From: Sören Tempel <[email-masked]>
To: [email-masked]
Date: Mon, 13 Jan 2025 18:52:06 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

klee has been added in fe7c898750e3fdad586ab3929c67b4b4643ffece,
klee-uclibc has been added as well in a follow-up commit, namely
3bdaa223b363b6986baa4bfa11f629f6ba974bba.

Hence, this can be closed.