From 7fc01231294c0e04fb06b4f80bf3d25a1e842b3d Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Thu, 5 May 2022 10:25:56 +0200 Subject: [PATCH] docs/THANKS: remove name duplicate --- RELEASE-NOTES | 2 +- docs/THANKS | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 0592e80e70..a66d660ab9 100644 --- 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 6796e2127a..858fcf3c38 100644 --- 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 -- 2.47.3