mirror of
https://github.com/postgres/postgres.git
synced 2025-07-09 22:41:56 +03:00
This reverts commit 0e936a2148
.
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