On Thu, 1 Feb 2024 at 04:32, Tom Lane <[email protected]> wrote: > > Alvaro Herrera <[email protected]> writes: > > Since we have a minor coming up very soon, I think it's not a good idea > > to backpatch right now. Maybe you can push to master now, and consider > > whether to backpatch later. > > As a rule, we don't back-patch changes like this ever. People don't > appreciate plans changing in minor releases.
Pushed to master. Thanks for the report and the fix, Alexander.
