On Mon, May 17, 2021 at 10:29 PM Masahiko Sawada <sawada.m...@gmail.com> wrote: > +1 to fix this. Are you already working on fixing this? If not, I'll > post a patch.
I posted a patch recently (last Thursday my time). Perhaps you can review it? -- Peter Geoghegan
