mirror of https://github.com/postgres/postgres
This may have been important at some point in the past, but it no longer does anything useful. Review by Tom Lane.pull/3/head
parent
7582e0be78
commit
d2c86a1ccd
Loading…
Reference in new issue