projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0f9526) | patch
Do pre-release housekeeping on catalog data.
authorTom Lane <[email protected]>
Fri, 19 May 2023 20:36:38 +0000 (16:36 -0400)
committerTom Lane <[email protected]>
Fri, 19 May 2023 20:36:38 +0000 (16:36 -0400)
commit722541ead194635d77163bda057cc0064ff81149
treebff97b6edeee21f27d566bb35c2406ab113591fctree
parentd0f952691ff532aa0c54e9d146fac8d590596646commit | diff
Do pre-release housekeeping on catalog data.

Run renumber_oids.pl to move high-numbered OIDs down, as per pre-beta
tasks specified by RELEASE_CHANGES.  For reference, the command was

./renumber_oids.pl --first-mapped-oid 8000 --target-oid 6200
src/include/catalog/catversion.h diff | blob | blame | history
src/include/catalog/pg_auth_members.h diff | blob | blame | history
src/include/catalog/pg_authid.dat diff | blob | blame | history
src/include/catalog/pg_proc.dat diff | blob | blame | history
This is the main PostgreSQL git repository.