[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.
pgpVC_qk2zhIl.pgp
Description: OpenPGP digital signature