Hi all,

The following commit is also in Linus Torvalds' tree as a different commit
(but the same patch):

  a1713ab0740f ("tools headers UAPI: Sync linux/prctl.h with the kernel sources")

This is commit

  df4b933e0e51 ("tools headers UAPI: Sync linux/prctl.h with the kernel sources")

in Linus' tree.

-- 
Cheers,
Stephen Rothwell