mirror of
https://github.com/postgres/postgres.git
synced 2025-11-15 03:41:20 +03:00
The comment and the code diverged at some point before the initial commit of this feature, and I failed to notice. Noted by Tom Lane.
The comment and the code diverged at some point before the initial commit of this feature, and I failed to notice. Noted by Tom Lane.