On Tue, Jun 12, 2018 at 05:14:28PM +0100, Ramsay Jones wrote: > > (You also sent two patch #12's, BTW). Mmmm, strange, I don't see that. Have they the same title and/or same content? -- 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
