On Thu, Sep 10, 2020 at 1:13 PM Amit Kapila <amit.kapila16@gmail.com> wrote:
>
>
> BTW, do we want to backpatch this? There is no user reported bug and
> not sure if the user will encounter any problem. I think it is a minor
> improvement and more of code consistency. So, making HEAD only change
> should be okay.
>
Seeing no other opinions, pushed this in Head.
--
With Regards,
Amit Kapila.