Subject: Re: [bug#59908] [PATCH 1/4] gnu: Add r-rcppde.
From: Ricardo Wurmus <[email-masked]>
To: Mădălin Ionel Patrașcu<[email-masked]>
Cc: [email-masked]
Date: Mon, 12 Dec 2022 18:44:34 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patches.  I applied them with negligible formatting
changes.

-- 
Ricardo