Alexander Korotkov <[email protected]> writes: > I'm going to push this and backpatch to all supported versions if no > objections.
Push yes, but I'd counsel against back-patching. People don't
generally like unexpected plan changes in stable versions, and
that's what a costing change could produce. There's no argument
that we are fixing a failure or wrong answer here, so it doesn't
seem like back-patch material.
regards, tom lane
