Re: BUG #18137: PG16 release note doc bug in "Allow GRANT group_name TO user_name ..."

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.