On Fri, Mar 20, 2020 at 12:22 PM Amit Kapila <amit.kapil...@gmail.com> wrote: > > On Thu, Mar 19, 2020 at 3:34 PM Amit Langote <amitlangot...@gmail.com> wrote: > > > > > > > > What do you think? Anybody else has an opinion on whether to > > > back-patch this or not? > > > > As nobody except Chris complained about this so far, maybe no? > > > > Fair enough, unless I see any other opinions, I will push this on Monday. >
Pushed. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com
