mirror of https://github.com/postgres/postgres
For clarity, following other sites, and to silence Coverity.pull/3/head
parent
9a39583264
commit
c9f310d377
Loading…
Reference in new issue