projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e177da5) | patch
Correct "improve role option documentation".
authorNoah Misch <noah@leadboat.com>
Sat, 13 Apr 2024 14:56:14 +0000 (07:56 -0700)
committerNoah Misch <noah@leadboat.com>
Sat, 13 Apr 2024 14:57:28 +0000 (07:57 -0700)
commite9b905325c1360f3270cd68a8ba9ae0f01b0517e
tree6824a68ef827e7c23fd7da528309badb85975d7atree
parente177da5c87a10abac97c028bfb427bafb7353aa2commit | diff
Correct "improve role option documentation".

This corrects doc commit 21912e3c0262e2cfe64856e028799d6927862563.
Back-patch to v16, like that one.

Reviewed by David G. Johnston.

Discussion: https://postgr.es/m/20240331061642.07@rfd.leadboat.com
doc/src/sgml/ref/create_role.sgml diff | blob | blame | history
doc/src/sgml/ref/grant.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.