On Thu, 1 Feb 2024 at 04:32, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Alvaro Herrera <alvhe...@alvh.no-ip.org> 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.