Subject: Re: [bug#54226] [PATCH] gnu: cl-caveman: Update to 2.4.0.35cd8bc.

From: jgart <[email-masked]>
Date: Thu, 3 Mar 2022 21:03:59 -0500

On Thu, 03 Mar 2022 15:22:59 +0000 Guillaume Le Vaillant <[email-masked]> wrote:
> Patch pushed as 89f17efbb38acf0054d7e33704cd32a5ecb53839.
> Thanks.

Thank you! Much appreciated.

jgart

gemini://whereis.みんな/
https://whereis.みんな/