Re: [GIT PULL] arm64: fix for -rc3

From: Linus Torvalds
Date: Tue Sep 11 2018 - 14:45:54 EST


On Mon, Sep 10, 2018 at 7:45 AM Will Deacon <will.deacon@xxxxxxx> wrote:
>
> Happy to send as a proper patch if you think this is the right sort of
> idea.

Looks sane to me,

Linus