> On Oct 5, 2021, at 9:58 AM, Peter Geoghegan <pg@bowt.ie> wrote:
>
> I apologize to Mark.
I took no offense. Actually, I owe you a thank-you for having put so much effort into debating the behavior with me.
Ithink the patch to fix bug #17212 will be better for it.
(And thanks to Robert for the concern.)
—
Mark Dilger
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company