projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bdb1f0) | patch
docs: change "default role" wording to "predefined role"
authorBruce Momjian
Tue, 14 Jan 2020 18:13:04 +0000 (13:13 -0500)
committerBruce Momjian
Tue, 14 Jan 2020 18:13:04 +0000 (13:13 -0500)
commit749f702d13de750b0adaf0aedbcc3c01f078c0c2
treea35093120eaab09ebc66113dfe4633eb01e9172dtree
parent9bdb1f0e37d4f65cdc32cec1563744dc92213d71commit | diff
docs: change "default role" wording to "predefined role"

The new wording was determined to be more accurate.  Also, update
release note links that reference these sections.

Reported-by: [email protected]
Discussion: https://postgr.es/m/157742545062.1149.11052653770497832538@wrigleys.postgresql.org

Backpatch-through: 9.6
doc/src/sgml/release-11.sgml diff | blob | blame | history
doc/src/sgml/user-manag.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.