On Thu, Jun 6, 2024 at 7:32 AM Heikki Linnakangas <hlinnaka(at)iki(dot)fi> 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