From 4c95d8d75ec9c4b3c4e7f2b008c7ef678bd5dc30 Mon Sep 17 00:00:00 2001
From: Dee Dee Rothery <83650384+drothery-edb@users.noreply.github.com>
Date: Thu, 8 Dec 2022 06:26:52 -0500
Subject: [PATCH] Update configuration-file-optional-settings.xml

---
 doc/configuration-file-optional-settings.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/configuration-file-optional-settings.xml b/doc/configuration-file-optional-settings.xml
index 66f575ff..8bdaa9be 100644
--- a/doc/configuration-file-optional-settings.xml
+++ b/doc/configuration-file-optional-settings.xml
@@ -10,7 +10,7 @@
   <note>
     <simpara>
       This section documents a subset of optional configuration settings; for a full
-      for a full and annotated view of all configuration options see the
+      and annotated view of all configuration options see the
       see the <ulink url="https://raw.githubusercontent.com/EnterpriseDB/repmgr/master/repmgr.conf.sample">sample repmgr.conf file</ulink>
     </simpara>
   </note>