On Tue, Sep 13, 2022 at 11:28 AM Richard Guo <guofenglinux(at)gmail(dot)com> wrote:
> On Mon, Sep 12, 2022 at 12:19 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:
>> Here is an updated patch for that.
> +1. The new patch looks good to me.
Pushed after tweaking comments a little bit further.
Thanks!
Best regards,
Etsuro Fujita