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

On Fri, Sep 29, 2023 at 02:17:20PM -0400, Tom Lane wrote:
> Bruce Momjian <bruce@momjian.us> writes:
> > On Thu, Sep 28, 2023 at 07:24:35AM +0000, PG Bug reporting form wrote:
> >> 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.
> 
> Should probably change the <link> target too?

Ah, good point, done.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Only you can decide what is important to you.