On Wed, Oct 13, 2010 at 7:45 AM, Bernd Petrovitsch <bernd@xxxxxxxxxxxxxxxxxxx> wrote: > FWIW, the attached patch should fix that. > I will get to that after the 0.4.3 release. Thanks 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