Re: [GIT PULL] printk for 4.18-rc3

From: Linus Torvalds
Date: Thu Jun 28 2018 - 15:47:07 EST


On Thu, Jun 28, 2018 at 12:03 PM Petr Mladek <pmladek@xxxxxxxx> wrote:
>
> I am sorry for confusion. Anyway, it seems that Andrew is going to
> send it as well in the meantime.

Hmm. I got a patch queue from Andrew this morning that didn't contain
that revert, so I pulled your tree.

Linus