On (20/06/19 13:26), Petr Mladek wrote: > On Fri 2020-06-19 19:21:32, Sergey Senozhatsky wrote: > > On (20/06/19 12:47), Andy Shevchenko wrote: > > > On Fri, Jun 19, 2020 at 11:39:18AM +0200, Petr Mladek wrote: > > > > On Thu 2020-06-18 19:47:45, Andy Shevchenko wrote: > > [..] > > > > I am going to push it the following week via printk tree unless > > > > anybody complains. > > > > > > Thanks, Petr, I guess you may also incorporate Sergey's patch > > > he proposed. Sergey, are you going to submit it officially? > > > > I can send a patch, unless Petr has objections. > > Go ahead :-) Oops, I just sent it, but I forgot to specify in-reply-to message-id :( -ss
