Subject: Re: [bug#62017] [PATCH 0/2]: gnu: Add cl-raylib.
From: Guillaume Le Vaillant <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Tue, 07 Mar 2023 10:40:34 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches pushed as e08ae5900a16ac29e6adc369f513f574137eb86e and
following.
Thanks.