Re: [GIT PULL] SELinux patches for v4.20

From: Linus Torvalds
Date: Wed Oct 24 2018 - 06:49:17 EST


On Tue, Oct 23, 2018 at 1:55 AM Paul Moore <paul@xxxxxxxxxxxxxx> wrote:
>
> Three SELinux patches for v4.20, all fall under the bug-fix or
> behave-better category, which is good. All three have pretty good
> descriptions too, which is even better. Please merge this for v4.20.

Pulled,

Linus