On Tue, May 18, 2021 at 2:42 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
>
> On Mon, May 17, 2021 at 10:29 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)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?
Oh, I missed that the patch includes that fix. I'll review the patch.
Regards,
--
Masahiko Sawada
EDB: https://www.enterprisedb.com/