Subject: [PATCH 1/3] gnu: Add r-maptree.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Mon, 28 Aug 2023 09:55:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Applied with changes to the description (to use complete sentences) and
to the license comment.

Thanks!

-- 
Ricardo