mirror of
https://github.com/postgres/postgres.git
synced 2025-04-22 23:02:54 +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.