GNU bug report logs - #33920
[PATCH] gnu: Add gauche.

Previous Next

Full log

Message #40 received at 33920-done <at> debbugs.gnu.org (full text, mbox):

From: Gabriel Hondet <gabrielhondet <at> gmail.com>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: swedebugia <at> riseup.net, Ludovic Courtès <ludo <at> gnu.org>,
 33920-done <at> debbugs.gnu.org
Subject: Re: [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html
 doc.
Date: Wed, 16 Jan 2019 20:31:07 +0100

[Message part 1 (text/plain, inline)]

On Wed 16 Jan 2019 at 18:32 Pierre Neidhardt wrote:

> Your patch does not only change the description but it also removes some
> unnecessary code.
>
> Is there a good reason it was added in the first place or was it simply a mistake?

It was a mistake (I first wanted to separate the outputs between doc and
out, thus the use of the ~outputs~ parameter in the lambdas; and then I
forgot to simplify the code).

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.