On Tue, 10 Jan 2023 at 23:16, Robert Haas <robertmh...@gmail.com> wrote: > > On Thu, Jan 5, 2023 at 2:53 PM Robert Haas <robertmh...@gmail.com> wrote: > > On Tue, Jan 3, 2023 at 3:11 PM Robert Haas <robertmh...@gmail.com> wrote: > > > Committed and back-patched 0001 with fixes for the issues that you > > > pointed out. > > > > > > Here's a trivial rebase of the rest of the patch set. > > > > I committed 0001 and 0002 after improving the commit messages a bit. > > Here's the remaining two patches back. I've done a bit more polishing > > of these as well, specifically in terms of fleshing out the regression > > tests. I'd like to move forward with these soon, if nobody's too > > vehemently opposed to that. > > Done now.
I'm not sure if any work is left here, if there is nothing more to do, can we close this? Regards, Vignesh