From d2354b6eecccb78fe697a270bd97298cbc63f477 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter@eisentraut.org>
Date: Tue, 1 Nov 2022 14:17:36 +0100
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: Mark Wong
---
 doc/src/sgml/release-15.sgml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/src/sgml/release-15.sgml b/doc/src/sgml/release-15.sgml
index c0bba1edbfa..61a4ad1b7eb 100644
--- a/doc/src/sgml/release-15.sgml
+++ b/doc/src/sgml/release-15.sgml
@@ -3652,7 +3652,6 @@ Author: Etsuro Fujita <efujita@postgresql.org>
     <member>Floris Van Nee</member>
     <member>Frédéric Yhuel</member>
     <member>Gabriela Serventi</member>
-    <member>Gabriele Varrazzo</member>
     <member>Gaurab Dey</member>
     <member>Geoff Winkless</member>
     <member>Geoffrey Blake</member>