On Fri, Aug 11, 2017 at 3:49 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > > Luc, I think the you have some thing to add to as the finial touch. > It is on you now. Yes, sorry, I haven't been able to send a proper pull request yesterday. It's on the way now. --Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
