mirror of https://github.com/postgres/postgres
These require a temp install to have been done, so we now make sure it is done before proceeding. Michael Paquier.pull/14/head
parent
fb174687f7
commit
d5d00294b0
Loading…
Reference in new issue