mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 19:57:37 +08:00
These arguments became unused in commit 2c03216d8311. Noticed while skimming code for unrelated development. This is cosmetic, so no backpatch.