On Sun, Jan 8, 2023 at 7:08 PM Tom Lane <[email protected]> wrote: > 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.
Pushed to master, thank you. I've noticed the reason for non-backpatching in the commit message. ------ Regards, Alexander Korotkov
