Re: [PATCH] gnu: cmake: Update to 3.1.3.

[Andreas Enge]

On Thu, Feb 26, 2015 at 10:41:30AM -0500, Mark H Weaver wrote:
> I think this should go to core-updates, because it will cause a lot of
> rebuilds, and a core-updates merge should happen fairly soon anyway.

Okay, I agree.

Andreas