On Fri, 2022-11-04 at 10:49 +0100, Laurenz Albe wrote:
> On Thu, 2022-11-03 at 11:32 +0100, Laurenz Albe wrote:
> > On Wed, 2022-11-02 at 19:29 +0000, David Burns wrote:
> >
> > > Some additional clarity in the versions 14/15 documentation would be helpful specifically
> > > surrounding the "target_role" clause for the ALTER DEFAULT PRIVILEGES command.
> > > To the uninitiated, the current description seems vague. Maybe something like the following would help:
>
> After some more thinking, I came up with the attached patch.
I'm sending a reply to the hackers list, so that I can add the patch to the commitfest.
Yours,
Laurenz Albe
