mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-06 13:17:33 +08:00
more space is needed, instead of incrementing by a fixed amount; the old method wastes lots of space and time when the ultimate size is large. Per gripe from Tatsuo.