Remove incorrect name from release notes
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 27 Aug 2023 18:29:05 +0000 (20:29 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 27 Aug 2023 18:29:05 +0000 (20:29 +0200)
commit60d7d50f426b17b544fd8c24024d87ab8331984f
tree39604d47a92267848dbcf3c80d0951ddeaefc45f
parent8d70eb731c43c4ccb5fa5642518a277ef3f6b860
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