Remove unused parameter
authorPeter Eisentraut <[email protected]>
Thu, 10 Sep 2020 14:13:19 +0000 (16:13 +0200)
committerPeter Eisentraut <[email protected]>
Thu, 10 Sep 2020 14:13:19 +0000 (16:13 +0200)
commitc02767d2415d17329e2998a9a182fc240a90b554
tree95dd270eb9533f1d8d4f69ca8c448b8b4cf57ae0
parentbeff361bc1edc24ee5f8b2073a1e5e4c92ea66eb
Remove unused parameter

Apparently, this was never used when
introduced (3dad73e71f08abd86564d5090a58ca71740e07e0).

Discussion: https://www.postgresql.org/message-id/flat/511bb100-f829-ba21-2f10-9f952ec06ead%402ndquadrant.com
src/bin/pg_basebackup/receivelog.c