Subject: Re: [bug#35110] [PATCH v2 1/2] Add (guix build-system linux-module).
From: Danny Milosavljevic <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Thu, 11 Apr 2019 17:53:47 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Ludo,

On Thu, 11 Apr 2019 12:50:42 +0200
Ludovic Courtès <[email-masked]> wrote:

> > +(define* (configure #:key inputs #:allow-other-keys)

> I think you should either remove this comment or add an explanation
> and/or a TODO.

Added TODO.

> Could you also add a note in doc/guix.texi under “Build Systems”?

Did so.

Pushed!