On Thu, Oct 19, 2023 at 1:53 AM Michael Paquier <michael(at)paquier(dot)xyz> wrote:> Seems fine to me. Thanks for considering the idea.
I think it was a good idea!
I've committed the patch.
-- Robert HaasEDB: http://www.enterprisedb.com