From 76900d676416758e82b12ea3966daadf6e3b3464 Mon Sep 17 00:00:00 2001
From: David Steele <david@pgmasters.net>
Date: Wed, 2 Sep 2020 14:45:09 -0400
Subject: [PATCH] Fix contributor name.

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

diff --git a/doc/xml/release.xml b/doc/xml/release.xml
index a0df243f4..640c3d547 100644
--- a/doc/xml/release.xml
+++ b/doc/xml/release.xml
@@ -8872,7 +8872,7 @@
         </contributor>
 
         <contributor id="john.kelly">
-            <contributor-name-display>John Kelley</contributor-name-display>
+            <contributor-name-display>John Kelly</contributor-name-display>
         </contributor>
 
         <contributor id="julian.zhang">