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/[email protected] 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(-)
