On Sun, Nov 13, 2022 at 8:32 PM Japin Li <[email protected]> wrote: > > On Sat, 12 Nov 2022 at 12:12, Amit Kapila <[email protected]> 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.
