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. -ss