On Mon, 10 Aug 2026 at 09:17, Tom Lane <[email protected]> wrote: > > David Rowley <[email protected]> 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
