On Wed, May 15, 2013 at 8:05 AM, Pekka Enberg <penberg@xxxxxxxxxx> wrote: > Ping, anyone interested in turning Xi's suggestion into a patch > against current sparse master? I'll send a patch. -- 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