Subject: [bug#32493] [bug#32489] [PATCH] gnu: Add r-miniui.

From: Leo Famulari <[email-masked]>
Date: Thu, 23 Aug 2018 16:29:36 -0400

On Wed, Aug 22, 2018 at 07:55:59AM +0000, [email-masked] wrote:
> Hello Leo!
> 
> Sorry about that! 
> I am new on this thing.
> I can send directly to you all the patches.
> It is ok?

Thanks! I received your patches and pushed them as commit
16b0e8da48ef9398797a22e274d5fcb37e24e448.