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
Branch
------
REL_16_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/e9b905325c1360f3270cd68a8ba9ae0f01b0517e
Modified Files
--------------
doc/src/sgml/ref/create_role.sgml | 2 +-
doc/src/sgml/ref/grant.sgml | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)