[bug#35888] [PATCH] gnu: Use make-linux-libre-headers.

guix-patches

From:	Danny Milosavljevic
Subject:	[bug#35888] [PATCH] gnu: Use make-linux-libre-headers.
Date:	Wed, 29 May 2019 18:32:12 +0200

Pushed to guix master as commit a15cee50cebddc665a16b455f44e22dcfb87d57f
with slight changes to the commit message.

Thanks!

pgp2LhvVLKeox.pgp
Description: OpenPGP digital signature

Current Thread

[Next in Thread]

[bug#35888] [PATCH] gnu: Use make-linux-libre-headers., Carl Dong, 2019/05/24
- [bug#35888] [PATCH] gnu: Use make-linux-libre-headers., Carl Dong, 2019/05/24
  - [bug#35888] [PATCH] gnu: Use make-linux-libre-headers., Danny Milosavljevic <=