[debbugs-tracker] bug#34243: closed (update cmake to latest release (3.13.3))

[GNU bug Tracking System]

Your message dated Fri, 01 Feb 2019 10:29:09 +0100
with message-id <address@hidden>
and subject line Re: bug#34243: update cmake to latest release (3.13.3)
has caused the debbugs.gnu.org bug report #34243,
regarding update cmake to latest release (3.13.3)
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
34243: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34243
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> update cmake to latest release (3.13.3)
>
>
>
>
> Date: 
>
> Tue, 29 Jan 2019 15:14:07 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> This is a wish. :-)
>
> Clément
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#34243: update cmake to latest release (3.13.3)
>
>
>
>
> Date: 
>
> Fri, 01 Feb 2019 10:29:09 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> Marius Bakke <address@hidden> writes:
>
> > Clément Lassieur <address@hidden> writes:
> >
> >> This is a wish. :-)
> >
> > Will 3.13.1 from 'staging' do?
>
> Yes sure!  I hadn't checked staging.  Thanks you :-)
>
>
> --- End Message ---