Subject: Re: [bug#43332] [PATCH] build-system: linux-module: Delete some huge items that we probably don't need.

From: Danny Milosavljevic <[email-masked]>
Date: Mon, 14 Sep 2020 10:30:51 +0200

Pushed v2 to guix master as commit 2be5c2652a5fd79089048905ff6be60d74244d7b.