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 -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html