Re: pinctrl: mediatek: build failure if CONFIG_IRQ_DOMAIN is not set

[Linus Walleij]

On Fri, Oct 28, 2016 at 7:20 PM, Paul Bolle <pebolle@xxxxxxxxxx> wrote:

> 3) Would you like me to submit a proper (but lightly tested) patch or
> do you prefer to fix this yourself?

Please send a tested patch, I'll apply it.

Thanks for finding this!

Yours,
Linus Walleij