>>>>> "Tom" == Tom Lane <tgl@sss.pgh.pa.us> writes:
>> On 2019-11-04 19:04:52 +0000, Andrew Gierth wrote:
>>> Uh, it seems obvious to me that it should be backpatched?
>> Fine with me. But I don't think it's just plainly obvious, it's
>> essentailly a change in query plans etc, and we've been getting more
>> hesitant with those over time.
Tom> Since this is happening during create_plan(), it affects no
Tom> planner decisions; it's just a pointless inefficiency AFAICS.
Tom> Back-patching seems fine.
I will deal with it then. (probably tomorrow or so)
--
Andrew (irc:RhodiumToad)