Subject: Re: [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc.

From: Gabriel Hondet <[email-masked]>
Date: Wed, 16 Jan 2019 20:31:07 +0100

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).