Subject: Re: bug#34243: update cmake to latest release (3.13.3)

From: Maxim Cournoyer <[email-masked]>
Date: Sun, 03 Feb 2019 09:57:48 -0500

Hello,

Clément Lassieur <[email-masked]> writes:

> Marius Bakke <[email-masked]> writes:
>
>> Clément Lassieur <[email-masked]> writes:
>>
>>> This is a wish. :-)
>>
>> Will 3.13.1 from 'staging' do?
>
> Yes sure!  I hadn't checked staging.  Thanks you :-)

Maybe now would be a good time to merge this patch, along this version
bump:  http://issues.guix.info/issue/33497 ?  It adds manpages and an
info manual (+ HTML docs in the doc output).

Thanks,

Maxim