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 :-) Best Regards, Petr
