On Wed, Jun 14, 2017 at 9:34 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > Chris, > > Please pull these patches for v0.5.1-rc2. Thanks, I fetch your change already. Unfortunately I will not have a chance to take a closer look until tomorrow night. I will take a crash now. 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