mirror of https://github.com/postgres/postgres
Seems an oversight in 7d8219a44
. Fix before somebody commits
a generated file.
pull/137/head
parent
2bfbad9c42
commit
db6957bae8
Loading…
Reference in new issue