From 20796536c10fe7869e7af2c69615f14a80555c5d Mon Sep 17 00:00:00 2001
From: Robert Haas <rhaas@postgresql.org>
Date: Mon, 29 Aug 2022 12:35:46 -0400
Subject: [PATCH] Remove stray "the".

Per off-list report.
---
 doc/src/sgml/user-manag.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/user-manag.sgml b/doc/src/sgml/user-manag.sgml
index 9b1f002d1b..11b0b93f21 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.