projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 115464b) | patch
doc: add missing role attributes to user management section
authorBruce Momjian <bruce@momjian.us>
Fri, 12 Aug 2022 19:43:23 +0000 (15:43 -0400)
committerBruce Momjian <bruce@momjian.us>
Fri, 12 Aug 2022 19:43:23 +0000 (15:43 -0400)
commitfab54e6c1a3efd12bde22a24ebc2b08f6affcd04
tree9c691121fe1f481843e7d50a2e4784e455ef993btree
parent115464bb5b4904e7536124eef168b7c17a56d4b4commit | diff
doc:  add missing role attributes to user management section

Reported-by: Shinya Kato
Discussion: https://postgr.es/m/1ecdb1ff78e9b03dfce37e85eaca725a@oss.nttdata.com

Author: Shinya Kato

Backpatch-through: 10
doc/src/sgml/user-manag.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.