mirror of https://github.com/postgres/postgres
We don't use those anymore. Fix for commit 8492feb98f
.
pull/208/head
parent
113ecf1f8c
commit
764d501d24
Loading…
Reference in new issue