On Fri, Oct 27, 2023 at 2:51 PM Alvaro Herrera <[email protected]> wrote: > On 2023-Oct-27, Alexander Korotkov wrote: > > > OK, I'm good with this. > > Do you like me to push this? Or do you like to push it yourself? > > Please do.
Done, thanks. ------ Regards, Alexander Korotkov
