mirror of https://github.com/postgres/postgres
Per off-list discussion with Tom Lane and Michael Paquier, Coverity gets unhappy if this is not done.pull/10/head
parent
025b2f3392
commit
eaf7b1f643
Loading…
Reference in new issue