On Thu, May 11, 2023 at 10:14 AM Robert Haas <robertmhaas@gmail.com> wrote: > Ouch, so we've had a known queries-returning-wrong-answers bug for > more than two months. That's not great. I'll try to find time today to > check whether the patches on that thread resolve this issue.
I tried out the v3 patches from that thread and they don't seem to make any difference for me in this test case. So either (1) it's a different issue or (2) those patches don't fully fix it or (3) I'm bad at testing things.
