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

Reply via email to