On Mon, Sep 25, 2023 at 07:46:18AM +0000, PG Doc comments form wrote:
> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/16/sql-set-role.html
> Description:
>
> it is good to mention that:
> The specified role_name must be a role that the current session user is a
> member of "and has SET True option on it."
> The second part missed in documentation for set role command.
Good point. How is the attached patch?
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.