Subject: Re: [PATCH] build/kconfig: New module to modify a defconfig file.
From: Stefan <[email-masked]>
To: [email-masked]
Cc: Danny Milosavljevic <[email-masked]>,Léo Le Bouter <[email-masked]>, Efraim Flashner <[email-masked]>, Mathieu Othacehe <[email-masked]>
Date: Thu, 6 May 2021 23:12:22 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

I’m closing this ticket. There will be a new patch series which will also contain this change.

Bye

Stefan