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

diff --git a/doc/src/sgml/release-15.sgml b/doc/src/sgml/release-15.sgml
index c0bba1edbfaab6d39d44ed3327caba07c7eb57d3..61a4ad1b7eb59e3cede20bce15434bed11e42058 100644 (file)
--- a/doc/src/sgml/release-15.sgml
+++ b/doc/src/sgml/release-15.sgml
@@ -3652,7 +3652,6 @@ Author: Etsuro Fujita 
     Floris Van Nee
     Frédéric Yhuel
     Gabriela Serventi
-    Gabriele Varrazzo
     Gaurab Dey
     Geoff Winkless
     Geoffrey Blake