docs/THANKS: remove name duplicate

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 0592e80e708da49aac7b2f45b59299f2d2dab637..a66d660ab992175da9e08f33a6d5486b5817f5a6 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -47,7 +47,7 @@ advice from friends like these:
   Adam Rosenfield, Axel Chong, Christian Weisgerber, Daniel Gustafsson,
   Daniel Stenberg, Fabian Keil, Florian Kohnhäuser, Harry Sintonen,
   LigH-de on github, Michael Olbrich, Nick Banks, Patrick Monnerat,
-  pheiduck on github, Philip H, Sergey Markelov, Yusuke Nakamura
+  Philip H, Sergey Markelov, Yusuke Nakamura
   (16 contributors)
 
 References to bug reports and discussions on issues:

diff --git a/docs/THANKS b/docs/THANKS
index 6796e2127abd82de11923c6f972f629dcb96e9eb..858fcf3c3866fe793159bb9a409c7e94d5965bc1 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -1924,7 +1924,6 @@ Petr Bahula
 Petr Novak
 Petr Pisar
 Petr Voytsik
-pheiduck on github
 Phil Blundell
 Phil Crump
 Phil E. Taylor