Subject: [PATCH] gnu: Add r-gghalves.

From: Ricardo Wurmus <[email-masked]>
Date: Sat, 18 Jun 2022 10:51:17 +0200

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