diff options
| author | Robert Haas <rhaas@postgresql.org> | 2022-08-29 12:35:46 -0400 |
|---|---|---|
| committer | Robert Haas <rhaas@postgresql.org> | 2022-08-29 12:35:46 -0400 |
| commit | 20796536c10fe7869e7af2c69615f14a80555c5d (patch) | |
| tree | dad1bc84ba9bd2e30639664e872b09b80c841ea1 | |
| parent | 6672d7913929b82ec723a54381773d9cdc20fe9d (diff) | |
| download | postgresql-20796536c10fe7869e7af2c69615f14a80555c5d.tar.gz postgresql-20796536c10fe7869e7af2c69615f14a80555c5d.zip | |
Remove stray "the".
Per off-list report.
| -rw-r--r-- | doc/src/sgml/user-manag.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/user-manag.sgml b/doc/src/sgml/user-manag.sgml index 9b1f002d1bb..11b0b93f212 100644 --- a/doc/src/sgml/user-manag.sgml +++ b/doc/src/sgml/user-manag.sgml @@ -360,7 +360,7 @@ REVOKE <replaceable>group_role</replaceable> FROM <replaceable>role1</replaceabl database session has access to the privileges of the group role rather than the original login role, and any database objects created are considered owned by the group role not the login role. Second, member - roles that have the been granted membership with the + roles that have been granted membership with the <literal>INHERIT</literal> option automatically have use of the privileges of those roles, including any privileges inherited by those roles. |