On Mon, Oct 2, 2017 at 3:45 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > @ Chris, > > Can you take the patch as is or do you prefer that I send a pull request? > Let me get to that tonight. Sorry for the delay. Chris -- 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
