mirror of
https://github.com/postgres/postgres.git
synced 2025-07-18 17:42:25 +03:00
These arguments became unused in commit 2c03216d83
. Noticed while
skimming code for unrelated development.
This is cosmetic, so no backpatch.