On Tue, Oct 5, 2021 at 10:03 AM Mark Dilger <mark.dil...@enterprisedb.com> wrote: > I took no offense. Actually, I owe you a thank-you for having put so much > effort into debating the behavior with me. I think the patch to fix bug > #17212 will be better for it.
Glad that you think so. And, thanks for working on the issue so promptly. This was a question of fundamental definitions. Those are often very tricky. -- Peter Geoghegan