mirror of
https://github.com/postgres/postgres.git
synced 2026-06-22 16:40:46 -04:00
48de935b08
This was done to match the surrounding indentation. Text added in PG 10. Backpatch-through: 10