Subject: [PATCH] gnu: Add r-topdom.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Fri, 28 Jun 2024 11:44:01 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

I've applied it with minor formatting and spelling changes.  Thanks!

-- 
Ricardo