On Wed, Apr 12, 2023, 09:38 Peter Eisentraut <peter.eisentraut@enterprisedb.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.