mirror of
https://github.com/postgres/postgres.git
synced 2025-11-25 12:03:53 +03:00
Also, fix a comment that commit 8a0596cb65 made obsolete.
Reported-by: Robert Haas
Discussion: http://postgr.es/m/CA+TgmoYbpuUUUp2GhYNwWm0qkah39spiU7uOiNXLz20ASfKYoA@mail.gmail.com
18 KiB
18 KiB