mirror of https://github.com/postgres/postgres
This was accidentally changed in
cc8d415117
.
Reported-by: Christoph Berg <myon@debian.org>
pull/41/head
parent
bdf35744bd
commit
765525c8c2
Loading…
Reference in new issue