On Fri, Feb 25, 2022 at 8:57 AM Amit Kapila <amit.kapil...@gmail.com> wrote: > > On Thu, Feb 24, 2022 at 12:03 PM Michael Paquier <mich...@paquier.xyz> wrote: > > > > On Wed, Feb 23, 2022 at 09:52:02AM +0530, Amit Kapila wrote: > > > Thanks, so you are okay with me pushing that patch just to HEAD. > > > > Yes, I am fine with that. I am wondering about patching the second > > function though, to avoid any risk of forgetting it, but I am fine to > > leave that to your judgement. > > > > The corresponding patch with other changes is not very far from being > ready to commit. So, will do it along with that. >
This is done as part of commit: https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=7a85073290856554416353a89799a4c04d09b74b -- With Regards, Amit Kapila.