Subject: Re: [bug#35963] [PATCH] gnu: cross-base: Allow non-default linux-headers.

From: Danny Milosavljevic <[email-masked]>
Date: Wed, 29 May 2019 15:45:57 +0200

Thanks!

Pushed to guix master as commit 2ea77d48a739eb289f2472d2c30c37a30bbcb571.