On Wed, 22 May 2024 at 05:36, Robert Haas <robertmh...@gmail.com> wrote: > The consensus on pgsql-release was to unrevert this patch and commit > the fix now, rather than waiting for the next beta. However, the > consensus was also to push the un-revert as a separate commit from the > bug fix, rather than together as suggested by Álvaro. Since time is > short due to the impending release and it's very late where you are, > I've taken care of this. Hope that's OK.
Thanks for handling that. It's much appreciated. David