]> 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:22:08 +0000 (14:22 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:22:08 +0000 (14:22 -0500)
commit608006c1b9c328ccb4ccd730cc2161a77eb6c3d7
tree5126db811ca62b59dd56850efbc6e773a4cb192d
parent02836497c91b215266422b99809055267c263e57
Revert "docs: change "default role" wording to "predefined role""

This reverts commit 90d553dd96106ab278550e85d95a5663d77d7db7.

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/release-9.6.sgml
doc/src/sgml/user-manag.sgml