Erik Wienhold <ewie(at)ewie(dot)name> writes:
> On 2026-07-01 09:14 +0200, Chao Li wrote:
>> Agreed and addressed in v2.
> Thanks! LGTM.
LGTM too, pushed with some minor comment-fiddling. I am of the
opinion that this is a bug in 27da1a796, which intended to cover
such cases and evidently missed. So I backpatched to 19 too.
regards, tom lane