On Fri, Mar 20, 2020 at 12:22 PM Amit Kapila <amit.kapila16@gmail.com> wrote:
>
> On Thu, Mar 19, 2020 at 3:34 PM Amit Langote <amitlangote09@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