On Thu, Oct 19, 2023 at 1:53 AM Michael Paquier <mich...@paquier.xyz> wrote:
> Seems fine to me.  Thanks for considering the idea.

I think it was a good idea!

I've committed the patch.

-- 
Robert Haas
EDB: http://www.enterprisedb.com


Reply via email to