mirror of https://github.com/postgres/postgres
This doesn't affect the correctness of the code, but it was clearly inconsistent before this change.pull/111/merge
parent
e7a59094b3
commit
4037c5e2fe
Loading…
Reference in new issue