mirror of https://github.com/postgres/postgres
Spotted by Alexander Korotkov. Along the way, remove a misleading comment line.pull/1/head
parent
57b80b4c46
commit
dd1587089c
Loading…
Reference in new issue