Subject: Re: [PATCH] gnu: Add FIM.
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Wed, 29 Dec 2021 14:40:28 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

I decided not to continue with this patch, so I'm closing this ticket.