Re: Update R

[Andreas Enge]

On Sun, Jan 10, 2016 at 09:26:55AM +0100, Ricardo Wurmus wrote:
> Sounds good to me!  I originally wanted to do this before the weekend
> anyway, but didn’t get around to it.

I just pushed, thanks!

Andreas