[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 01/01: gnu: Use make-linux-libre-headers.

From: Danny Milosavljevic
Subject: Re: 01/01: gnu: Use make-linux-libre-headers.
Date: Fri, 31 May 2019 00:13:06 +0200

Hi Mark,

> Hmm, I don't understand.  What do the 4.14.x headers have to do with
> 4.15, which is the version I'm suggesting to delete?

Oh, my mistake.

Indeed, we have address@hidden which should match the linux-libre-headers
we have, even after deleting 4.15.

Attachment: pgpVC_qk2zhIl.pgp
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]