On Sat, May 8, 2021 at 7:04 AM Michael Paquier <mich...@paquier.xyz> wrote: > > On Thu, May 06, 2021 at 09:04:57PM +0900, Michael Paquier wrote: > > Yeah, I agree that this is an improvement, so let's fix this. > > Just noticed that this was not applied yet, so done while I was > looking at this thread again.
Thanks! -- Regards, Dilip Kumar EnterpriseDB: http://www.enterprisedb.com