On Wed, Apr 12, 2023, 09:38 Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:
> I propose to branch off REL_15_STABLE from master (thus making master> for PG16) approximately a week from today.>
Sounds good to me.