Subject: [PATCH] Add r-btools
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Fri, 25 Nov 2022 11:19:24 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patch!  I applied it with a few minor changes.  See
commit b095dac8e0aeb9a61ecffd53bfa6f60f49b31f54 for details.

-- 
Ricardo