On 12 June 2014 12:53, Linus Walleij <linus.walleij@xxxxxxxxxx> wrote: > Hum? If the maintainers can't maintain the thing, then maybe the > machine should just be deleted? It still has some users :) > I will just apply this patch then. Sure. -- To unsubscribe from this list: send the line "unsubscribe linux-gpio" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html