From 60d7d50f426b17b544fd8c24024d87ab8331984f Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter@eisentraut.org>
Date: Sun, 27 Aug 2023 20:29:05 +0200
Subject: [PATCH] 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>
---
 doc/src/sgml/release-16.sgml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/src/sgml/release-16.sgml b/doc/src/sgml/release-16.sgml
index f2ee2146fa1..c9246c7f389 100644
--- 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>
-- 
2.39.5