Subject: Re: [bug#39423] [PATCH] gnu: Add [cl|ecl|sbcl]-hdf5-cffi.
From: Guillaume Le Vaillant <[email-masked]>
To: [email-masked]
Cc: Konrad Hinsen <[email-masked]>
Date: Wed, 05 Feb 2020 10:56:06 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks. I made a few edits and pushed the patch as
c6397e3e4cdedf3dbeedcb1e5de23e8e27053a5a.