Thread: pgsql: Revert "docs: change "default role" wording to "predefined role"

pgsql: Revert "docs: change "default role" wording to "predefined role"

From
Tom Lane
Date:
Revert "docs: change "default role" wording to "predefined role""

This reverts commit 29af9c542f6cdc9a6456b175fdcdfe7a28b77d6c.

Per discussion, we can't change the section title without some
web-site work, so revert this change temporarily.

Discussion: https://postgr.es/m/157742545062.1149.11052653770497832538@wrigleys.postgresql.org

Branch
------
REL_12_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/2db27ff4eb3afde142554e51675c82469f15ce71

Modified Files
--------------
doc/src/sgml/monitoring.sgml |  2 +-
doc/src/sgml/user-manag.sgml | 28 ++++++++++++++--------------
2 files changed, 15 insertions(+), 15 deletions(-)