On Thu, 10 May 2018, James Morris wrote: > > > > Reviewed-by: Kees Cook <[email protected]> > > > > James, are these something you can take into your tree? > > Sure!
Although, normally, these would likely come in to mine via David's tree. Please do that unless there's a special case here. -- James Morris <[email protected]>
