doc: normalize contributor names in PG 13 release notes
authorBruce Momjian <bruce@momjian.us>
Tue, 5 May 2020 16:42:55 +0000 (12:42 -0400)
committerBruce Momjian <bruce@momjian.us>
Tue, 5 May 2020 16:42:55 +0000 (12:42 -0400)
commitd4329a60d5708382957e61d1036a03929f75c9fc
tree8d63cbb77698bc2ed4119d39c6584c4e1e844875
parent61dfa727494ffa337cadde51a01d3a1813c1f6d2
doc:  normalize contributor names in PG 13 release notes
doc/src/sgml/release-13.sgml
doc/src/sgml/release.sgml