From: Peter Eisentraut <peter@eisentraut.org>
Date: Fri, 30 Aug 2024 06:38:16 +0000 (+0200)
Subject: Remove duplicate name from list of acknowledgments
X-Git-Tag: REL_17_RC1~10
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=df80b1d6cd36c6cc6be7529895c0434e90e911cc;p=thirdparty%2Fpostgresql.git

Remove duplicate name from list of acknowledgments

Reported-by: m.zhilin@postgrespro.ru
---

diff --git a/doc/src/sgml/release-17.sgml b/doc/src/sgml/release-17.sgml
index da0162c8d51..87cc347a7eb 100644
--- a/doc/src/sgml/release-17.sgml
+++ b/doc/src/sgml/release-17.sgml
@@ -3498,7 +3498,6 @@ Author: Alexander Korotkov <akorotkov@postgresql.org>
     <member>Michal Bartak</member>
     <member>Michal Kleczek</member>
     <member>Mikhail Gribkov</member>
-    <member>Mikhail Zhilin</member>
     <member>Mingli Zhang</member>
     <member>Miroslav Bendik</member>
     <member>Mitsuru Hinata</member>