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