On Fri, Jul 24, 2020 at 11:45 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com> wrote:
> which is an updated version of the
> patch:
There seems to be no objections from Dmitry (or anyone else), so I
committed the patch after tweaking/fixing some comments and fixing
typos in the commit message.
Best regards,
Etsuro Fujita