On Mon, Jul 24, 2023 at 6:14 PM Ashutosh Bapat
<ashutosh(dot)bapat(dot)oss(at)gmail(dot)com> wrote:
>
> On Sat, Jul 22, 2023 at 10:18 AM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
>
> > Right. I'll push and backpatch this till 15 by Tuesday unless you guys
> > think otherwise.
>
> WFM.
>
Pushed.
--
With Regards,
Amit Kapila.