Revert "docs: change "default role" wording to "predefined role""
This reverts commit 920c6add70c803ae1dcaab9358330320a60de470.
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_10_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/994f9a71f8262f332a5d8414d581f0c49d8ce41b
Modified Files
--------------
doc/src/sgml/user-manag.sgml | 28 ++++++++++++++--------------
1 file changed, 14 insertions(+), 14 deletions(-)