Re: [PATCH v4 resend 1/2] rtmutex: update rt-mutex-design

[Jonathan Corbet]

On Tue, 15 Aug 2017 12:00:25 -0400
Steven Rostedt <rostedt@xxxxxxxxxxx> wrote:

> > Sorry for skip you here. Yes, if you like to pick them, please go ahead!
> 
> Agreed, Jon's tree is the best path.

So I'm kind of slow, but I finally applied these, sorry for the delay.

jon