Remove stray "the".

Per off-list report.

diff --git a/doc/src/sgml/user-manag.sgml b/doc/src/sgml/user-manag.sgml
index 9b1f002d1bb37923eb723d5254e8395bec907b14..11b0b93f2121fccfab7ba9fdeb5aec520ab2b905 100644 (file)
--- a/doc/src/sgml/user-manag.sgml
+++ b/doc/src/sgml/user-manag.sgml
@@ -360,7 +360,7 @@ REVOKE group_role FROM role1
    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
    INHERIT option automatically have use
    of the privileges of those roles, including any
    privileges inherited by those roles.