On 12.04.23 09:38, Peter Eisentraut wrote: > I propose to branch off REL_15_STABLE from master (thus making master > for PG16) approximately a week from today. This has been done.