projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd5476b) | 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)
commit29af9c542f6cdc9a6456b175fdcdfe7a28b77d6c
treef18037eeed18f75dc6642faaf3005c58bb21700etree
parentfd5476b79c2ff63dd32e154198f8201553180e58commit | 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/monitoring.sgml diff | blob | blame | history
doc/src/sgml/user-manag.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.