]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Revert "docs: change "default role" wording to "predefined role""
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:21:37 +0000 (14:21 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:21:37 +0000 (14:21 -0500)
commit994f9a71f8262f332a5d8414d581f0c49d8ce41b
treebd684380beb65b570d1dca6ba87544d10b720ffc
parent65106a10f9c5bc9e4622b3616cdf31f74aa58cc2
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
doc/src/sgml/user-manag.sgml