On 5 March 2018 at 23:26, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: > OK, I think that I have it configured now. I just missed the last new bug > entry from Dibyendu, but any new ones or any updates should appear on the > sparse mailing list .. if it all works. We'll see. > Hi, perhaps it did not work as I raised a new ticket. Regards Dibyendu -- 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
