[debbugs-tracker] bug#32121: closed (Cuirass: add support for multiple inputs)

[GNU bug Tracking System]

Your message dated Mon, 16 Jul 2018 22:13:04 +0200
with message-id <address@hidden>
and subject line Re: [bug#32121] [PATCH 5/5] Add support for multiple inputs.
has caused the debbugs.gnu.org bug report #32121,
regarding Cuirass: add support for multiple inputs
to be marked as done.

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


-- 
32121: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32121
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Cuirass: add support for multiple inputs
>
>
>
>
> Date: 
>
> Wed, 11 Jul 2018 00:58:02 +0200
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> These patches add support for multiple inputs to Cuirass.  The goal is
> to make it more flexible.
>
> I explained what I did in a previous email:
> https://lists.gnu.org/archive/html/guix-devel/2018-07/msg00023.html.
>
> Comments are welcome :-)
>
> Clément
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#32121] [PATCH 5/5] Add support for multiple inputs.
>
>
>
>
> Date: 
>
> Mon, 16 Jul 2018 22:13:04 +0200
>
>
>
>
> User-agent: 
>
> mu4e 1.0; emacs 26.1
>
>
>
>
> Hi Ludo,
>
> Ludovic Courtès <address@hidden> writes:
>
> > I think that’s about it.
> >
> > The size of reviews is often inversely proportional to the size of the
> > change, and I think this one is no exception.  :-)
> >
> > I’m not fully up-to-speed on all the changes but I’ll guess we’ll see it
> > live when we upgrade Cuirass on berlin.
>
> I pushed everything.  If you need my help for the Berlin migration,
> don't hesitate to ask.  The database migration should go smoothly of
> course, but... you never know :-)
>
> Clément
>
>
> --- End Message ---