On Thu, Sep 14, 2023 at 7:10 PM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote: > > > Though it is harmless I think we can clean it up. Your patch looks good to me. > > > > Pushed. >
Thanks!
------ Kind Regards, Peter Smith. Fujitsu Australia