mirror of https://github.com/postgres/postgres
Remove dead code left behind by 1b6801051.
parent
d25d45e4d9
commit
6574f19127
Loading…
Reference in new issue