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

From: Linus Torvalds
Date: Thu Nov 01 2018 - 17:47:08 EST


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

Pulled,

Linus