mirror of
https://github.com/postgres/postgres.git
synced 2026-06-03 14:28:20 -04:00
05a0283e7a
Additional documentation update, and a comment fix. Both issues reported by Amit Kapila.