On Sun, Jul 30, 2017 at 01:38:07AM +0200, Luc Van Oostenryck wrote: > Still looking at this. I just sent a patch. At first sight it seems to be correct but it will need more testing. I'll do that tomorrow as it is already quite late here. -- 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
