On Mon, Jul 18, 2022 at 12:28 PM [email protected] <[email protected]> wrote: > > On Fri, Jul 15, 2022 10:39 PM Masahiko Sawada <[email protected]> wrote: > > > > This patch should have the fix for the issue that Shi yu reported. Shi > > yu, could you please test it again with this patch? > > > > Thanks for updating the patch! > I have tested and confirmed that the problem I found has been fixed.
Thank you for testing! Regards, -- Masahiko Sawada EDB: https://www.enterprisedb.com/
