mirror of
https://github.com/postgres/postgres.git
synced 2026-06-16 05:30:15 -04:00
52f436b807
There's been some confusion expressed about this point, so clarify. Extended version of a patch by David Wheeler.