mirror of https://github.com/postgres/postgres
Pointed out by Coverity. Since this is mere, and debatable, cosmetics I'm not backpatching this.pull/14/head
parent
58bc4747be
commit
14570c2828
Loading…
Reference in new issue