mirror of
https://github.com/postgres/postgres.git
synced 2026-06-07 16:18:57 -04:00
6946280cde
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.