Remove duplicate name from list of acknowledgments
authorPeter Eisentraut
Fri, 30 Aug 2024 06:38:16 +0000 (08:38 +0200)
committerPeter Eisentraut
Fri, 30 Aug 2024 06:38:16 +0000 (08:38 +0200)
commitdf80b1d6cd36c6cc6be7529895c0434e90e911cc
treec6b51e36f496198da35c654981e2ca5cb26caa75
parent47b92f8fc522d3c1a75a955c32c492d752316584
Remove duplicate name from list of acknowledgments

Reported-by: [email protected]
doc/src/sgml/release-17.sgml