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. -- Robert Haas EDB: http://www.enterprisedb.com