A patch to update https://www.postgresql.org/support/versioning/ for the
changed version numbering. Might be useful to have before beta.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services