mirror of
https://github.com/postgres/postgres.git
synced 2025-08-09 17:03:00 +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.