mirror of
https://github.com/postgres/postgres.git
synced 2026-06-23 00:51:00 -04:00
1038bc91ca
The original coding in 7bafffea64 and previous wasn't all that great
anyway.
Reported by Jeff Janes and Tom Lane