Subject: [PATCH] gnu: Add r-gghalves.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Sat, 18 Jun 2022 10:51:17 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thank you for the patch!  Unfortunately, this fell through the cracks.
I just applied it after upgrading to 0.1.3 and using the new input
style.

-- 
Ricardo