On Thu, Sep 21, 2017 at 05:18:38PM +0100, Patrick Welche wrote: > I patched up cmake to find our boost - cmake 3.9.3 has just come out which > doesn't need those patches. Update cmake to 3.9.3 during freeze? No, it's used by too many packages, and your patch solved the immediate problem. Thanks, Thomas