mirror of https://github.com/postgres/postgres
Missed in commit 028350f61. Noted by Eiji Seki.
pull/17/merge
parent
9e0fe09fc5
commit
d99706ed51
Loading…
Reference in new issue