projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0522d6f) | patch
Revert "docs: change "default role" wording to "predefined role""
authorTom Lane
Sun, 9 Feb 2020 19:20:26 +0000 (14:20 -0500)
committerTom Lane
Sun, 9 Feb 2020 19:20:26 +0000 (14:20 -0500)
commit2db27ff4eb3afde142554e51675c82469f15ce71
tree2caa5878fd2721e0ee0826b91398a6e0ab05e53ftree
parent0522d6f8f0d08b17f55b1e93e4a67e5f82e6bdafcommit | diff
Revert "docs: change "default role" wording to "predefined role""

This reverts commit 29af9c542f6cdc9a6456b175fdcdfe7a28b77d6c.

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.