Release date: 2023-08-10
This release contains a variety of improvements over the previous release.
This is a minor release and can be upgraded in place from previous 2ndQuadrant Postgres 13 releases. No additional migration tasks are needed.
A dump/restore using pg_dumpall is required for those wishing to migrate data from any previous community PostgreSQL release.
Merge the REL_13_12 tag of the community PostgreSQL code base.