mirror of https://github.com/postgres/postgres
This has been unused since commit 8563ccae2c
.
Noted by Antonin Houska
pull/6/head
parent
dd778e9d88
commit
1247ea28cb
Loading…
Reference in new issue