mirror of
https://github.com/postgres/postgres.git
synced 2025-06-30 21:42:05 +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.