On Fri, Sep 20, 2019 at 01:23:00PM +0200, Quentin Perret wrote: > On Friday 20 Sep 2019 at 16:03:38 (+0530), Pavan Kondeti wrote: > > +1. Looks good to me. > > Cool, thanks. > > Peter/Ingo, is there anything else I should do ? Should I resend the > patch 'properly' (that is, not inline) ?