mirror of
https://github.com/postgres/postgres.git
synced 2025-10-16 17:07:43 +03:00
useful as yet, since its primary source of information is (full) VACUUM, which makes a concerted effort to get rid of free space before telling the map about it ... next stop is concurrent VACUUM ...