git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

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

author Tom Lane <tgl@sss.pgh.pa.us>

Sun, 9 Feb 2020 19:20:56 +0000 (14:20 -0500)

committer Tom Lane <tgl@sss.pgh.pa.us>

Sun, 9 Feb 2020 19:20:56 +0000 (14:20 -0500)

commit 417d66c8b445f92d1fdb2dbbd59013fa6ec4b3bb

tree 824354cdc1d31b9dd49a2b979474203bd8bf5ee9 tree

parent 3c5036dba8f145b42edb28cfa49d7fe0d612aad1 commit | diff

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

This reverts commit 749f702d13de750b0adaf0aedbcc3c01f078c0c2.

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-11.sgml diff | blob | blame | history

doc/src/sgml/user-manag.sgml diff | blob | blame | history

This is the main PostgreSQL git repository.

RSS Atom