Subject: Re: bug#24440: [PATCH] gnu: kernel-config: Use correct kconfig file.

From: [email-masked] (Ludovic Courtès)
Date: Sat, 24 Sep 2016 10:49:41 +0900

David Craven <[email-masked]> skribis:

> * gnu/packages/linux.scm (kernel-config): Use correct kconfig file.

AFAICS, a variant of this patch was pushed as
25847b327e9add2c55ba4980a95708484db46473, so closing this bug.

Thank you,
Ludo’.