On Thu, Sep 28, 2023 at 07:24:35AM +0000, PG Bug reporting form wrote:
> The following bug has been logged on the website:
>
> Bug reference: 18137
> Logged by: TAKATSUKA Haruka
> Email address: harukat@sraoss.co.jp
> PostgreSQL version: 16.0
> Operating system: any
> Description:
>
> In the following release note item, it seems that "GRANT group_name TO
> user_name"
> should be "ALTER GROUP group_name ADD USER user_name".
> As far as I have tested and confirmed, ALTER GROUP is the one that
> has been allowed since version 16.
Yes, you are correct. Attached patch applied.
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.