Subject: Re: [bug#66286] [PATCH] gnu: Add cl-ini.
From: "jgart" <[email-masked]>
To: "Charles" <[email-masked]>, [email-masked]
Cc: Guillaume Le Vaillant <[email-masked]>, Munyoki Kilyungi <[email-masked]>, Katherine Cox-Buday <[email-masked]>
Date: Wed, 04 Oct 2023 02:01:43 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks Charles,

Applied in 26629dbc16. I just moved prove to the native-inputs since it is used for the tests.

all best,

jgart