On Tue, Oct 23, 2018 at 1:55 AM Paul Moore <paul at paul-moore.com> 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