[bug#38069] [PATCH]: Adjust make-bootstrap linux headers

guix-patches

From:	Ludovic Courtès
Subject:	[bug#38069] [PATCH]: Adjust make-bootstrap linux headers
Date:	Sat, 16 Nov 2019 16:51:00 +0100
User-agent:	Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

Efraim Flashner <address@hidden> skribis:

> Ok. Patch pushed

Cool, thank you!

Ludo’.

Current Thread

[Next in Thread]

[bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Efraim Flashner, 2019/11/05
- [bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Ludovic Courtès, 2019/11/13
  - [bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Efraim Flashner, 2019/11/14
    - [bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Ludovic Courtès, 2019/11/14
    - bug#38069: [PATCH]: Adjust make-bootstrap linux headers, Efraim Flashner, 2019/11/15
    - [bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Ludovic Courtès <=
- [bug#38069] [PATCH]: Adjust make-bootstrap linux headers, Ludovic Courtès, 2019/11/15