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 thepatch 'properly' (that is, not inline) ?Thanks,Quentin