On Sat, Nov 9, 2019 at 3:58 PM Peter Eisentraut
<peter.eisentraut@2ndquadrant.com> wrote:
>
> On 2019-11-08 14:38, Amit Kapila wrote:
> > I am planning to commit and backpatch this till PG10 where it was
> > introduced on Monday morning (IST). Pavel agreed that this is a good
> > change in the other thread where we need it [1]. It is not an urgent
> > thing, so I can wait if we think this is not a good time to commit
> > this. Let me know if anyone has objections?
>
> I think the change makes sense for master, but I don't think it should
> be backpatched.
>
Fair enough. Attached patch with a proposed commit message.
--
With Regards,
Amit Kapila.
EnterpriseDB: http://www.enterprisedb.com