Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Sat, 21 Sep 2024 09:39:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patch and its revival!
I have corrected lint warnings (two spaces after period in description,
synopsis should not start with the package name, #tests? #t is redundant)
and registered the patch file in gnu/local.mk.

And pushed.

Andreas