mirror of https://github.com/postgres/postgres
This prevents silently using a wrong configuration, similar to
b4e2ada347
.
pull/31/merge
parent
ff18115ae9
commit
f96f48113f
Loading…
Reference in new issue