Re: [GIT PULL] Driver core patches for 5.3-rc1

[Linus Torvalds]

On Fri, Jul 12, 2019 at 2:37 PM Linus Torvalds
<torvalds@xxxxxxxxxxxxxxxxxxxx> wrote:
>
> My bad. Will apply the fix properly.

Ok, _now_ your fix is finally in my tree. D'oh.

              Linus