> On Sun, May 15, 2022 at 5:05 PM Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)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.