On Mon, 10 Aug 2026 at 09:17, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> David Rowley <dgrowleyml@gmail.com> writes:
> > This seems to be a duplicate of [1].
>
> I think Peter's point is that that commit (51cd5d6f0) is in
> fact incorrect.
What Peter pointed out has already been pointed out in the thread that
I linked to. I felt it was useful to point out the duplicate to avoid
anyone wasting time looking deeper or producing a duplicate fix. Maybe
I've missed something, but I did try John's fix, and it does make
Peter's test pass, so to me it seems like a duplicate report. What
did I miss?
David
