Re: [PATCH] gnu: r: Update to 3.3.1.

[Andreas Enge]

Hello,

On Sat, Jul 30, 2016 at 04:36:22PM +0200, Roel Janssen wrote:
> Is it OK to upgrade?

maybe wait until after the core-updates merge?

Andreas