doc: Improve a release notes item

Peter Eisentraut <peter@eisentraut.org>

Commit: 9c4f20066fb20197dfc20e3cf31aa3c890f3646b
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2019-09-19T09:46:40Z
Releases: 12.0
doc: Improve a release notes item

Files

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

Documentation touched