On Thu, Sep 10, 2020 at 1:13 PM Amit Kapila <amit.kapil...@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.