Michael Meskes <meskes(at)postgresql(dot)org> writes:> Thanks for finding and fixing this. Patch committed.
Looks like you missed pushing it into the v13 branch?
regards, tom lane