Subject: Re: [bug#35963] [PATCH] gnu: cross-base: Allow non-default linux-headers.
From: Danny Milosavljevic <[email-masked]>
To: Carl Dong <[email-masked]>
Cc: [email-masked]
Date: Wed, 29 May 2019 15:45:57 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks!

Pushed to guix master as commit 2ea77d48a739eb289f2472d2c30c37a30bbcb571.