On Mon, Jun 7, 2021 at 6:36 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:> I created a patch for that, which I'm attaching. I'm planning> to commit the patch.
Done.
Best regards,Etsuro Fujita