Re: Version 14/15 documentation Section "Alter Default Privileges"

On Mon, Nov  6, 2023 at 09:32:27AM +0100, Michael Banck wrote:
> Hi,
> 
> On Sat, Nov 04, 2023 at 09:14:01PM -0400, Bruce Momjian wrote:
> > +   There is no way to change the default privileges for objects created by
> > +   any role.  You have run ALTER DEFAULT PRIVILEGES for all
> > +   roles that can create objects whose default privileges should be modified.
> 
> That second sentence is broken, it should be "You have to run [...]" I
> think.

Agreed, fixed, thanks.

-- 
  Bruce Momjian          https://momjian.us
  EDB                                      https://enterprisedb.com

  Only you can decide what is important to you.