On Tue, 15 Aug 2017 12:00:25 -0400
Steven Rostedt <rost...@goodmis.org> 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
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to