Subject: Re: [bug#61020] [PATCH] gnu: Add cl-clingon.
From: Guillaume Le Vaillant <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked]
Date: Wed, 25 Jan 2023 09:54:19 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as b0df8de60fca2cd71bf40d85d0cbd17c9e1bed26.
Thanks.