On 2022-May-16, Amit Kapila wrote:
> On Sun, May 15, 2022 at 5:05 PM Alvaro Herrera <alvherre@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/