Remove incorrect name from release notes

This name was incorrect in the underlying commit message.  (The
correct name is already listed.)

Reported-by: Denis Laxalde <denis.laxalde@dalibo.com>

diff --git a/doc/src/sgml/release-16.sgml b/doc/src/sgml/release-16.sgml
index f2ee2146fa1889c16d98cd3b6479b8e42fcdf704..c9246c7f389fd3c783b10c4c76e7ce491fbdb667 100644 (file)
--- a/doc/src/sgml/release-16.sgml
+++ b/doc/src/sgml/release-16.sgml
@@ -3965,7 +3965,6 @@ Author: Andres Freund <andres@anarazel.de>
     <member>Farias de Oliveira</member>
     <member>Florin Irion</member>
     <member>Franz-Josef Färber</member>
-    <member>Gabriele Varrazzo</member>
     <member>Garen Torikian</member>
     <member>Georgios Kokolatos</member>
     <member>Gilles Darold</member>