mirror of
https://github.com/postgres/postgres.git
synced 2025-07-24 14:22:24 +03:00
This includes the rest of the documentation that was not included
in 7117685
. A larger restructure would still be wanted, but with
this commit the documentation of the new features is complete.