Subject: Re: [PATCH 0/3] Update cmake.

From: Arun Isaac <[email-masked]>
Date: Thu, 22 Mar 2018 03:08:00 +0530

Marius Bakke <[email-masked]> writes:

> Ping!  Core-updates is shaping up, so now is the time to push :-)

I'm rebasing against all the new changes in core-updates, and building
one last time to make sure everything is fine. Then, I'll push.