Subject: Re: [PATCH 1/4] gnu: Add r-doby.

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 16 Aug 2018 17:06:22 +0200

I pushed these with minor changes to the description of r-basix.  Thanks
to Ludo for the review!

-- 
Ricardo