correct documentation in set role - Mailing list pgsql-docs

From PG Doc comments form
Subject correct documentation in set role
Date
Msg-id 169562797830.3727336.2047897773232975635@wrigleys.postgresql.org
Whole thread Raw
Responses Re: correct documentation in set role
List pgsql-docs
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.

pgsql-docs by date:

Previous
From: Tom Lane
Date:
Subject: Re: Typo/wording on https://www.postgresql.org/docs/current/catalog-pg-class.html
Next
From: Daniel Gustafsson
Date:
Subject: Hyperlinks for source file references