doc: update PG 13 release notes after first draft
commit41297fa7d86d0410efc90aebdd39f686b81bf09e
authorBruce Momjian <bruce@momjian.us>
Tue, 5 May 2020 14:32:50 +0000 (5 10:32 -0400)
committerBruce Momjian <bruce@momjian.us>
Tue, 5 May 2020 14:32:52 +0000 (5 10:32 -0400)
tree4fa9b0cf1da96e4ab6309b0696ba7a75973b962f
parentd5627f3cd0ba191f1e647d66f6d5bb09ff95b786
doc:  update PG 13 release notes after first draft

Minor corrections from individuals.
doc/src/sgml/release-13.sgml