mirror of
https://github.com/postgres/postgres.git
synced 2026-05-21 16:13:59 -04:00
9f14dc393b
Note that we no longer require any manual adjustments to shared-library
minor version numbers, cf commit a3bce17ef. So this should be everything.