mirror of https://github.com/postgres/postgres
These variables aren't really used for anything interesting, but it seems the existing grouping was somewhat nonsensical.pull/11/head
parent
7a4a813c99
commit
b497abc602
Loading…
Reference in new issue