summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2023-08-27 18:29:05 +0000
committerPeter Eisentraut2023-08-27 18:29:05 +0000
commit60d7d50f426b17b544fd8c24024d87ab8331984f (patch)
tree39604d47a92267848dbcf3c80d0951ddeaefc45f
parent8d70eb731c43c4ccb5fa5642518a277ef3f6b860 (diff)
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>
-rw-r--r--doc/src/sgml/release-16.sgml1
1 files changed, 0 insertions, 1 deletions
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>