mirror of https://github.com/postgres/postgres
Even if this is needed, it'd be configure's responsibility to set it.pull/6/head
parent
846e91e022
commit
7a98d323df
Loading…
Reference in new issue