mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
b3a95566fc
This is similar to d3bba04154, batching all the reports of this type
received since the last batch. This covers typos and inconsistencies
for the most part.
The user-visible documentation change impacts only HEAD.