Subject: Re: [bug#54445] [PATCH] gnu: Add cl-purgatory.

From: Guillaume Le Vaillant <[email-masked]>
Date: Fri, 18 Mar 2022 13:22:33 +0000

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