On Sun, Nov 13, 2022 at 8:32 PM Japin Li <japi...@hotmail.com> wrote: > > On Sat, 12 Nov 2022 at 12:12, Amit Kapila <amit.kapil...@gmail.com> wrote: > > > > I don't know if that is an improvement. I think we should stick to > > your initial proposed change. > > Agreed. Let's focus on the initial proposed change. >
Pushed. -- With Regards, Amit Kapila.
