On Mon, Sep 23, 2019 at 2:35 PM Linus Torvalds
[off-list ref] wrote:

On Mon, Sep 23, 2019 at 1:14 PM Casey Schaufler [off-list ref] wrote:

quoted

Thank for the instruction. I think this is correct.

Looks fine, pulled.

Oh, btw, can you get more signatures on your pgp key? I actually care
more about having a key than having a key with lots of signatures (*),
but signatures and a chain of trust would be good too.

                   Linus

(*) To me, keys are more of a "yeah, I'm the same person that usually
sends these pull requests" than some kind of hard identity.