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 linux-libre@4.14.122 which should match the linux-libre-headers
we have, even after deleting 4.15.
pgpqZwmvUcOmY.pgp
Descriptio
Hi Danny,
Danny Milosavljevic writes:
>> I think we should not add linux-libre-4.15, because that version of
>> Linux-libre is no longer supported upstream, and therefore will have
>> well-known security flaws.
>
> OK with me to remove.
>
> The headers were from 4.14.67 (and still are), though.
Hi Mark,
> I think we should not add linux-libre-4.15, because that version of
> Linux-libre is no longer supported upstream, and therefore will have
> well-known security flaws.
OK with me to remove.
The headers were from 4.14.67 (and still are), though. So we'll have
headers which we don't ha
Oh hi Mark!
> I think we should not add linux-libre-4.15, because that version of
> Linux-libre is no longer supported upstream, and therefore will have
> well-known security flaws.
Ahhh... Good point! I've attached a patch at the end of the message (I think the
commit message might need tweaking
Hi Danny and Carl,
guix-comm...@gnu.org writes:
> dannym pushed a commit to branch master
> in repository guix.
>
> commit a15cee50cebddc665a16b455f44e22dcfb87d57f
> Author: Carl Dong
> Date: Wed May 29 18:04:43 2019 +0200
>
> gnu: Use make-linux-libre-headers.
>
> * gnu/packages/