mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 03:54:41 -04:00
Peter Eisentraut
39da0f709d
The exact numbers don't matter, since they are examples, but it was looking quite dated. For the target version, we now automatically substitute the current major version. The updated example source version should be good for a couple of years.