On Tue, Oct 5, 2021 at 10:03 AM Mark Dilger
<mark.dilger@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