Re: [PATCH] gpio: pl061: drop duplicate printing of device name

[Linus Walleij]

On Wed, Jul 3, 2019 at 11:42 AM Enrico Weigelt, metux IT consult
<info@xxxxxxxxx> wrote:

> From: Enrico Weigelt <info@xxxxxxxxx>
>
> The dev_info() call already prints the device name, so there's
> no need to explicitly include it in the message for second time.
>
> Signed-off-by: Enrico Weigelt <info@xxxxxxxxx>

True. Patch applied.

Yours,
Linus Walleij