]> git.ipfire.org Git - thirdparty/postgresql.git/commit
projects / thirdparty / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 675a368) | 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)
commit88b54b07916c58c7cd20cc0998dc2c62c060a1f7
treeaf48c40268add2b5679acacf1598a14a5266d2b3tree
parent675a368a35a1ae4aa2c54fbd2a8310e3939d73b8commit | 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
Mirror of https://git.postgresql.org/git/postgresql.git