Thanks for pushing and for the extra scan. Regards, Jianghua Yang
Tom Lane <[email protected]> 于2026年3月19日周四 11:26写道: > I wrote: > > Fair point. Still, this is such an unlikely edge-case that > > I don't think it's worth a back-patch. Let's just do HEAD. > > Pushed. I also looked around for other instances of the same > pattern, and couldn't find any. > > regards, tom lane >
