mirror of https://github.com/postgres/postgres
Apparently a copy-and-paste mistake introduced in
8ddd22f245
.
found by Coverity
pull/3/head
parent
08dd23cec7
commit
410ee35ed0
Loading…
Reference in new issue