Re: [PATCH] gnu: Add Red Eclipse.

[Andreas Enge]

On Tue, May 03, 2016 at 12:10:22PM -0400, Kei Yamashita wrote:
> Here's a patch if anyone wants to apply it.

Thanks a lot, I just pushed.

Andreas