Doc: make an editing pass over the v12 release notes.

Copy-edit or rewrite some items, add some items that I thought
deserved documenting, remove some others that didn't (notably,
I'm not on board with documenting documentation changes), fix
some poorly-pointed links, move some items to other sections,
etc etc.
This commit is contained in:
Tom Lane 2019-09-07 11:21:24 -04:00
parent 2552c78c18
commit b6a4d04987
1 changed files with 687 additions and 634 deletions

File diff suppressed because it is too large Load Diff