projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c5036d) | patch
Revert "docs: change "default role" wording to "predefined role""
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:20:56 +0000 (14:20 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:20:56 +0000 (14:20 -0500)
commit417d66c8b445f92d1fdb2dbbd59013fa6ec4b3bb
tree824354cdc1d31b9dd49a2b979474203bd8bf5ee9tree
parent3c5036dba8f145b42edb28cfa49d7fe0d612aad1commit | 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.