Subject: Re: [bug#66286] [PATCH] gnu: Add cl-ini.

From: "jgart" <[email-masked]>
Date: Wed, 04 Oct 2023 02:01:43 +0000

Thanks Charles,

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

all best,

jgart