On Tue, Nov 8, 2022 at 3:07 PM Amit Kapila <amit.kapil...@gmail.com> wrote: > > On Mon, Nov 7, 2022 at 11:12 PM Robert Haas <robertmh...@gmail.com> wrote: > > > > On Mon, Oct 31, 2022 at 11:49 PM Amit Kapila <amit.kapil...@gmail.com> > > wrote: > > > I am fine with any of those. Would you like to commit or do you prefer > > > me to take care of this? > > > > Sorry for not responding to this sooner. I think it's too late to do > > anything about this for the current round of releases at this point, > > but I am fine if you want to take care of it after that. > > > > Okay, I'll take care of this either later this week after the release > work is finished or early next week. >
Pushed. -- With Regards, Amit Kapila.
