On Tue, May 18, 2021 at 2:42 PM Peter Geoghegan <[email protected]> wrote: > > On Mon, May 17, 2021 at 10:29 PM Masahiko Sawada <[email protected]> > 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/
