docs: fix duplicate wording in PG 12 release notes

Bruce Momjian <bruce@momjian.us>

Commit: 34d40becfa7a5c7343d0079f181597d7e06122e1
Author: Bruce Momjian <bruce@momjian.us>
Date: 2019-05-14T13:06:05Z
Releases: 12.0
docs:  fix duplicate wording in PG 12 release notes

Reported-by: nickb@imap.cc

Discussion: https://postgr.es/m/6b3414e1-fcef-4ad9-b123-b3ab3702d3db@www.fastmail.com

Files

PathChange+/−
doc/src/sgml/release-12.sgml modified +1 −1

Documentation touched

Discussion