diff options
author | Bruce Momjian <bruce@momjian.us> | 2020-01-14 13:13:04 -0500 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 2020-01-14 13:13:04 -0500 |
commit | 90d553dd96106ab278550e85d95a5663d77d7db7 (patch) | |
tree | f1adfd9f65a9f0e8c330fdc34b94f4afb2ea1252 /src/backend/executor | |
parent | fd87262de55e402c72d4bdacee830838735b1f27 (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: https://postgr.es/m/157742545062.1149.11052653770497832538@wrigleys.postgresql.org
Backpatch-through: 9.6
Diffstat (limited to 'src/backend/executor')
0 files changed, 0 insertions, 0 deletions