mirror of
https://github.com/postgres/postgres.git
synced 2025-05-28 05:21:27 +03:00
This reverts commit 90d553dd96106ab278550e85d95a5663d77d7db7. Per discussion, we can't change the section title without some web-site work, so revert this change temporarily. Discussion: https://postgr.es/m/157742545062.1149.11052653770497832538@wrigleys.postgresql.org