mirror of https://github.com/postgres/postgres
It produces debugging output files that are of no further use, so we don't need that by default.pull/11/head
parent
9dbcb500ca
commit
f9e5ed61ed
Loading…
Reference in new issue