pg_upgrade: Remove more dead code
authorPeter Eisentraut <[email protected]>
Fri, 25 Aug 2017 16:02:29 +0000 (12:02 -0400)
committerPeter Eisentraut <[email protected]>
Fri, 25 Aug 2017 16:25:51 +0000 (12:25 -0400)
commit33043c69df790d9a08d2ac682c6f1d41c9a652bd
tree3f8df45b630668eacc1339a5bd698b48d100408d
parent9c57848921ec90fca8dfd297adcb4d5d07d40160
pg_upgrade: Remove more dead code

related to 6ce6a61840cc90172ad3da7bf303656132fa5fab

Reported-by: Christoph Berg <[email protected]>
src/bin/pg_upgrade/pg_upgrade.h