pg_dump: Fix harmless type mixup
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 13 Jun 2017 03:06:38 +0000 (23:06 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 13 Jun 2017 03:06:38 +0000 (23:06 -0400)
commit791ef001c9fe980e32092227a72ec24a7d66fa3d
tree2bc706bd04a82c8f684d539212949007e62c8fa6
parent2440c442d167d9d081a3e69c4fa78f3b6f8932e9
pg_dump: Fix harmless type mixup
src/bin/pg_dump/pg_dump.c