Subject: Re: [bug#54445] [PATCH] gnu: Add cl-purgatory.
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked]
Date: Fri, 18 Mar 2022 13:22:33 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as cab5f92836ec52b0c524aa2541f3cdcd6c5ceb6e with a few
modifications (updated copyright line, fixed synopsis, used new style
for inputs).
Thanks.