Subject: Re: [bug#59908] [PATCH 1/4] gnu: Add r-rcppde.

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 12 Dec 2022 18:44:34 +0100

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

-- 
Ricardo