On Tue, 17 Jun 2025 at 06:41, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Yeah. I think it might be smarter to push these changes a bit earlier
> than the 30th, maybe by a week? Better to file down any rough edges
> before we start the new CF.
Sounds good to me. Unless there are big objections, I'll deploy this
on the 23rd.