mirror of https://github.com/postgres/postgres
This has moved around in past releases, so just copying-and-pasting from HEAD didn't work as intended.REL8_1_STABLE
parent
010953d904
commit
38da2203a9
Loading…
Reference in new issue