Re: [GIT PULL] printk for 4.20

From: Linus Torvalds
Date: Thu Oct 25 2018 - 20:14:24 EST


On Wed, Oct 24, 2018 at 6:48 AM Petr Mladek <pmladek@xxxxxxxx> wrote:
>
> please pull the latest printk changes [...]

Pulled,

Linus