mirror of
https://github.com/postgres/postgres.git
synced 2025-07-20 05:03:10 +03:00
This backatches Heikki's patch in 140a4fbf1a
to make sure the documentation on the website gets updated, since
we're regularly receiving complains about this link.