mirror of
https://github.com/postgres/postgres.git
synced 2025-11-19 13:42:17 +03:00
1.1 to 2.0 for this release. The other frontend shlibs need version number bumps too, but I think a minor version number change will do for them.