projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 344c269) | patch
docs: change "default role" wording to "predefined role"
authorBruce Momjian <bruce@momjian.us>
Tue, 14 Jan 2020 18:13:04 +0000 (13:13 -0500)
committerBruce Momjian <bruce@momjian.us>
Tue, 14 Jan 2020 18:13:04 +0000 (13:13 -0500)
commit0e936a2148472e6c364aee8c3e298dc16dc4240a
tree04571ace369ac883fc20534dccaec1480076a9b4tree
parent344c26915136fa54c4a1bf54074ba15090b32721commit | 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: rirans@comcast.net
Discussion: http://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.