projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9885f2) | 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)
commit1a2ad6e3bd042cf64c2321de36abf7db2bb50578
treee00cabe437014bce88ba2017e105adac9aa4aeebtree
parenta9885f2c77e0ecbc9487a1c729b39ebbf3d03d29commit | 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.