Remove duplicate name from list of acknowledgments

Reported-by: [email protected]

diff --git a/doc/src/sgml/release-17.sgml b/doc/src/sgml/release-17.sgml
index da0162c8d51120fcc352e815d0d89ea2cbe1cba1..87cc347a7eb203c4f97e63ce33bd41f8f20a0839 100644 (file)
--- a/doc/src/sgml/release-17.sgml
+++ b/doc/src/sgml/release-17.sgml
@@ -3498,7 +3498,6 @@ Author: Alexander Korotkov 
     Michal Bartak
     Michal Kleczek
     Mikhail Gribkov
-    Mikhail Zhilin
     Mingli Zhang
     Miroslav Bendik
     Mitsuru Hinata