mirror of https://github.com/postgres/postgres
7240962f86
got it right in the comment,
but the code did not actually do what the comment said. Fix that.
Issue pointed out by Noah Misch.
pull/31/merge
parent
f7c7f67fec
commit
6946280cde
Loading…
Reference in new issue