projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4093ff5) | patch
Revert "docs: change "default role" wording to "predefined role""
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:19:46 +0000 (14:19 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 9 Feb 2020 19:19:46 +0000 (14:19 -0500)
commitc185a57753e64fe3ffc996ea18da8672b302a5a4
tree8333cfc5aa903262a1c6b7b17dcb45dcfc8bc717tree
parent4093ff573702e9f157507340593680dc2c75e88ecommit | diff
Revert "docs: change "default role" wording to "predefined role""

This reverts commit 0e936a2148472e6c364aee8c3e298dc16dc4240a.

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/monitoring.sgml diff | blob | blame | history
doc/src/sgml/user-manag.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.