On 2022-May-16, Amit Kapila wrote: > On Sun, May 15, 2022 at 5:05 PM Alvaro Herrera <alvhe...@alvh.no-ip.org> > wrote:
> > I hesitate to add this the day just before beta. This is already in > > pg14, so maybe it's not a big deal if pg15 remains the same for the time > > being. Or we can change it for beta2. Or we could just punt until > > pg16. Any preferences? > > I prefer to do this for pg16 unless we see some bug due to this. Pushed now, to master only. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/