mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 21:09:00 -04:00
fd5437c78b
Also clean up incredibly poor style in TocIDRequired() usage.