| From: | Bruce Momjian <bruce(at)momjian(dot)us> |
|---|---|
| To: | harukat(at)sraoss(dot)co(dot)jp, pgsql-bugs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: BUG #18137: PG16 release note doc bug in "Allow GRANT group_name TO user_name ..." |
| Date: | 2023-09-29 18:15:49 |
| Message-ID: | ZRcUVRzBMZW9uYS/@momjian.us |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-bugs |
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(at)sraoss(dot)co(dot)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(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.
| Attachment | Content-Type | Size |
|---|---|---|
| REL_16_STABLE.diff | text/x-diff | 631 bytes |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Tom Lane | 2023-09-29 18:17:20 | Re: BUG #18137: PG16 release note doc bug in "Allow GRANT group_name TO user_name ..." |
| Previous Message | Joe Conway | 2023-09-29 18:12:19 | Re: BUG #18141: sorry, too many clients error occurring very frequently |