On Thu, Jun 6, 2024 at 7:32 AM Heikki Linnakangas <[email protected]> wrote: > > Barring objections, I'll commit this later today or tomorrow. Thanks for > > the report! > > Committed.
I think you may have forgotten to push. -- Robert Haas EDB: http://www.enterprisedb.com
