Re: [GIT PULL] Devicetree fixes for 4.20-rc1

[Linus Torvalds]

On Thu, Nov 1, 2018 at 2:23 PM Rob Herring <robherri...@gmail.com> wrote:
>
> Please pull a couple of fixes for rc1.

Pulled,

                  Linus